Gobra CLI Input Documentation · viperproject/gobra@529b823

Re-run triggered June 19, 2024 15:31

ArquintL

#610

Status Success

Total duration 15m 48s

Artifacts 1

test.yml

on: pull_request

2 warnings

Java used up to 4.97474GB of RAM

Z3 used up to 0.513456GB of RAM

Produced during runtime

Name	Size
pidstat.txt Expired	43.7 KB