Add opaque/reveal to Gobra · viperproject/gobra@0741c88

Triggered via pull request February 8, 2024 11:39

dnezam

synchronize #715

master

Status Failure

Total duration 21m 3s

Artifacts 1

test.yml

on: pull_request

3 errors and 1 warning

Z3 used up to 1.66068GB of RAM

Process completed with exit code 1.

Process completed with exit code 1.

Java used up to 4.63234GB of RAM

Produced during runtime

Name	Size
pidstat.txt Expired	42.4 KB