Add opaque/reveal to Gobra · viperproject/gobra@ee3c2d4

Triggered via pull request February 5, 2024 14:34

dnezam

synchronize #715

master

Status Failure

Total duration 19m 55s

Artifacts 1

test.yml

on: pull_request

1 error and 1 warning

Process completed with exit code 1.

Java used up to 4.84148GB of RAM

Produced during runtime

Name	Size
pidstat.txt Expired	38.8 KB