Refine error message for refute errors · viperproject/gobra@eec33de

Triggered via push July 10, 2024 12:10

bruggerl

bruggerl/refute

Status Failure

Total duration 22m 31s

Artifacts 2

test.yml

on: push

2 errors and 1 warning

Z3 used up to 1.08722GB of RAM

Process completed with exit code 1.

Java used up to 4.56713GB of RAM

Produced during runtime

Name	Size
pidstat.txt Expired	47.7 KB
viperproject~gobra~Z337TH.dockerbuild Expired	67.7 KB