Speed up dafny verify
by reducing memory pressure
#3512
Triggered via pull request
October 15, 2024 14:35
Status
Success
Total duration
1h 5m 34s
Artifacts
–
standard-libraries.yml
on: pull_request
check-deep-tests
/
check-deep-tests
9s
build
21m 0s