Add refute statement · viperproject/gobra@bca538c

Triggered via pull request July 10, 2024 08:56

bruggerl

synchronize #776

bruggerl/refute

Status Failure

Total duration 22m 7s

Artifacts 2

test.yml

on: pull_request

1 error and 1 warning

Process completed with exit code 1.

Java used up to 4.95843GB of RAM

Produced during runtime

Name	Size
pidstat.txt Expired	44.3 KB
viperproject~gobra~LGG45R.dockerbuild Expired	67.6 KB