Add opaque/reveal to Gobra · viperproject/gobra@265365d

Triggered via pull request February 5, 2024 15:44

dnezam

synchronize #715

master

Status Failure

Total duration 20m 46s

Artifacts 1

test.yml

on: pull_request

1 error and 1 warning

Process completed with exit code 1.

Java used up to 4.79587GB of RAM

Produced during runtime

Name	Size
pidstat.txt Expired	40.9 KB