Skip to content

Make assume impure #4719

Make assume impure

Make assume impure #4719

Re-run triggered July 23, 2024 16:39
Status Success
Total duration 22m 30s
Artifacts 5

test.yml

on: push
build-test-deploy-container
22m 19s
build-test-deploy-container
Fit to window
Zoom out
Zoom in

Annotations

1 warning
build-test-deploy-container: .github/workflows/test.yml#L1
Java used up to 4.85498GB of RAM

Artifacts

Produced during runtime
Name Size
pidstat.txt Expired
45.2 KB
viperproject~gobra~IBOJEJ.dockerbuild Expired
68.4 KB
viperproject~gobra~RZ3BFE.dockerbuild Expired
54 KB