Merge pull request #698 from viperproject/issue-697 · viperproject/gobra@a2915f9

Triggered via push February 6, 2024 14:08

ArquintL

master

Status Success

Total duration 23m 5s

Artifacts 1

test.yml

on: push

2 warnings

Java used up to 5.02214GB of RAM

Z3 used up to 0.671632GB of RAM

Produced during runtime

Name	Size
pidstat.txt Expired	40.9 KB