fix compilation · viperproject/gobra@4f5bfac

Triggered via push September 11, 2024 03:40

Felalolf

hyperGobra

Status Failure

Total duration 22m 14s

Artifacts 1

test.yml

on: push

1 error and 2 warnings

Process completed with exit code 1.

Java used up to 4.81205GB of RAM

Z3 used up to 0.8131GB of RAM

Produced during runtime

Name	Size
pidstat.txt	43.4 KB