Merge pull request #741 from viperproject/arquintl-verification-projects · viperproject/gobra@be5c16d

Triggered via push March 13, 2024 10:27

ArquintL

master

Status Success

Total duration 16m 53s

Artifacts 1

test.yml

on: push

2 warnings

Java used up to 4.83306GB of RAM

Z3 used up to 0.50078GB of RAM

Produced during runtime

Name	Size
pidstat.txt Expired	46.4 KB