Merge pull request #664 from viperproject/auto-update-submodules · viperproject/gobra@8f9bfa7

Re-run triggered July 18, 2023 07:26

ArquintL

master

Status Success

Total duration 22m 39s

Artifacts 1

test.yml

on: push

1 warning

Z3 used up to 0.696608GB of RAM

Produced during runtime

Name	Size
pidstat.txt Expired	578 KB