Implements CR suggestions by Felix · viperproject/gobra@e1a19d7

Re-run triggered May 23, 2024 15:36

ArquintL

ghost-field

Status Success

Total duration 16m 33s

Artifacts 1

test.yml

on: push

2 warnings

Java used up to 4.60462GB of RAM

Z3 used up to 0.506152GB of RAM

Produced during runtime

Name	Size
pidstat.txt Expired	45.1 KB