implement feedback from PR review · viperproject/gobra@5dbb6b3

Triggered via push May 21, 2024 07:48

jcp19

fix_pure_literals

Status Success

Total duration 23m 2s

Artifacts 1

test.yml

on: push

2 warnings

Java used up to 5.00302GB of RAM

Z3 used up to 0.701076GB of RAM

Produced during runtime

Name	Size
pidstat.txt Expired	45.1 KB