Add opaque/reveal to Gobra · viperproject/gobra@28531cb

Triggered via pull request February 5, 2024 15:07

dnezam

synchronize #715

master

Status Failure

Total duration 21m 50s

Artifacts 1

test.yml

on: pull_request

3 errors and 1 warning

Z3 used up to 1.06356GB of RAM

Process completed with exit code 1.

Process completed with exit code 1.

Java used up to 5.14256GB of RAM

Produced during runtime

Name	Size
pidstat.txt Expired	43.8 KB