Skip to content

Add purity checks to the ternary expression #4684

Add purity checks to the ternary expression

Add purity checks to the ternary expression #4684

Re-run triggered July 2, 2024 14:21
Status Success
Total duration 16m 58s
Artifacts 5

test.yml

on: pull_request
build-test-deploy-container
16m 44s
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.86312GB of RAM

Artifacts

Produced during runtime
Name Size
pidstat.txt Expired
43.2 KB
viperproject~gobra~DIVDK2.dockerbuild Expired
43.5 KB
viperproject~gobra~WIP5VB.dockerbuild Expired
38.3 KB