Skip to content
Back to pull request #5827

Speed up dafny verify by reducing memory pressure #8843

Sign in to view logs

Speed up dafny verify by reducing memory pressure

Speed up dafny verify by reducing memory pressure #8843

Triggered via pull request October 21, 2024 10:37
@keyboardDrummerkeyboardDrummer
synchronize #5827
keyboardDrummer:onlyClaimVerificationMemoryPerModule
Status Success
Total duration 5m 13s
Artifacts –

runtime-tests.yml

on: pull_request
check-deep-tests  /  check-deep-tests
6s
check-deep-tests / check-deep-tests
build
4m 49s
build
Fit to window
Zoom out
Zoom in