Add opaque/reveal to Gobra · viperproject/gobra@3c5177c

Triggered via pull request January 30, 2024 14:01

dnezam

synchronize #715

master

Status Failure

Total duration 23m 8s

Artifacts 1

test.yml

on: pull_request

3 errors and 1 warning

Z3 used up to 1.29634GB of RAM

Process completed with exit code 1.

Process completed with exit code 1.

Java used up to 5.05554GB of RAM

Produced during runtime

Name	Size
pidstat.txt Expired	46.6 KB