Updates submodules (#756) · viperproject/gobra@8b94eb2

Re-run triggered April 2, 2024 08:25

ArquintL

master

Status Success

Total duration 17m 22s

Artifacts 1

test.yml

on: push

2 warnings

Java used up to 4.82112GB of RAM

Z3 used up to 0.626688GB of RAM

Produced during runtime

Name	Size
pidstat.txt Expired	48.1 KB