Merge pull request #706 from viperproject/issue-705 · viperproject/gobra@3ee6911

Re-run triggered November 23, 2023 01:20

ArquintL

master

Status Success

Total duration 14m 28s

Artifacts 1

test.yml

on: push

2 warnings

Java used up to 5.01297GB of RAM

Z3 used up to 0.504828GB of RAM

Produced during runtime

Name	Size
pidstat.txt Expired	447 KB