Skip to content
Build and Test Dafny Runtimes

fix: Frame and termination checks are now subject to by-proofs of method calls #8470

Sign in to view logs

fix: Frame and termination checks are now subject to by-proofs of method calls

fix: Frame and termination checks are now subject to by-proofs of method calls #8470

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check-deep-tests / check-deep-tests
7s
build
4m 21s
4m 28s