Merge pull request #755 from viperproject/impure-calls-in-ghost-code · viperproject/gobra@6fb2981

Re-run triggered May 24, 2024 07:42

ArquintL

Status Success

Total duration 14m 48s

Artifacts 1

test.yml

on: push

1 warning

Java used up to 5.06068GB of RAM

Produced during runtime

Name	Size
pidstat.txt Expired	44.1 KB