Merge pull request #727 from viperproject/auto-update-submodules · viperproject/gobra@2c30803

Re-run triggered February 16, 2024 12:20

ArquintL

master

Status Success

Total duration 15m 18s

Artifacts 1

test.yml

on: push

2 warnings

Java used up to 4.7693GB of RAM

Z3 used up to 0.856228GB of RAM

Produced during runtime

Name	Size
pidstat.txt Expired	43.4 KB