Skip to content

Impure assume

Impure assume #4721

Re-run triggered July 24, 2024 09:55
Status Success
Total duration 15m 14s
Artifacts 9

test.yml

on: pull_request
build-test-deploy-container
15m 4s
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 5.08388GB of RAM

Artifacts

Produced during runtime
Name Size
pidstat.txt Expired
42.9 KB
viperproject~gobra~1YLJ7N.dockerbuild Expired
38.7 KB
viperproject~gobra~K6EVDV.dockerbuild Expired
56 KB