Updates submodules (#765) · viperproject/gobra@dcf73c3

Triggered via push May 6, 2024 12:15

jcp19

master

Status Failure

Total duration 44m 14s

Artifacts 1

test.yml

on: push

2 errors and 1 warning

Z3 used up to 9.26079GB of RAM

Process completed with exit code 1.

Java used up to 5.0433GB of RAM

Produced during runtime

Name	Size
pidstat.txt Expired	92.2 KB