Updates submodules (#736) · viperproject/gobra@d6b1363

Triggered via push February 28, 2024 10:38

jcp19

master

Status Success

Total duration 21m 51s

Artifacts 1

test.yml

on: push

2 warnings

Java used up to 4.79478GB of RAM

Z3 used up to 0.802644GB of RAM

Produced during runtime

Name	Size
pidstat.txt Expired	42.4 KB