fix tests · viperproject/gobra@f5ca811

Triggered via push January 11, 2024 21:20

jcp19

Status Failure

Total duration 21m 34s

Artifacts 1

test.yml

on: push

1 error and 2 warnings

Process completed with exit code 1.

Java used up to 4.9454GB of RAM

Z3 used up to 0.562336GB of RAM

Produced during runtime

Name	Size
pidstat.txt Expired	444 KB