Merge pull request #771 from viperproject/tmp-branch-for-#747-#755-#766 · viperproject/gobra@cc1fb72

Triggered via push May 24, 2024 09:00

ArquintL

master

Status Success

Total duration 22m 4s

Artifacts 1

test.yml

on: push

1 warning

Java used up to 4.90073GB of RAM

Produced during runtime

Name	Size
pidstat.txt Expired	43.5 KB