Clean up error transformations for closures · viperproject/gobra@bca538c

Triggered via push July 10, 2024 08:56

bruggerl

bruggerl/refute

Status Failure

Total duration 25m 53s

Artifacts 2

test.yml

on: push

3 errors and 1 warning

Z3 used up to 13.5202GB of RAM

Process completed with exit code 1.

Process completed with exit code 1.

Java used up to 4.73325GB of RAM

Produced during runtime

Name	Size
pidstat.txt	63.4 KB
viperproject~gobra~PZ9Q5F.dockerbuild	68.9 KB