Speed up dafny verify by reducing memory pressure
#10300
Triggered via pull request
October 16, 2024 08:56
keyboardDrummer
Status
Cancelled
Total duration
16m 23s
Artifacts
–
doc-tests.yml
on: pull_request
check-deep-tests
/
check-deep-tests
9s
doctests
15m 58s