Merge pull request #747 from viperproject/ghost-pointer · viperproject/gobra@17aa695

Re-run triggered May 23, 2024 15:36

ArquintL

Status Success

Total duration 14m 54s

Artifacts 1

test.yml

on: push

1 warning

Java used up to 4.98552GB of RAM

Produced during runtime

Name	Size
pidstat.txt Expired	43.5 KB