Skip to content
Build and Test Dafny Runtimes

Chore: Not generate boogie translation if not verifying #9666

Sign in to view logs

Chore: Not generate boogie translation if not verifying

Chore: Not generate boogie translation if not verifying #9666

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check-deep-tests / check-deep-tests
7s
build
3m 43s
3m 50s