Merge pull request #711 from viperproject/test-gobra-messages · viperproject/gobra@4dc33c6

Re-run triggered December 5, 2023 13:36

ArquintL

master

Status Success

Total duration 20m 33s

Artifacts 1

test.yml

on: push

1 warning

Java used up to 4.86478GB of RAM

Produced during runtime

Name	Size
pidstat.txt Expired	437 KB