Skip to content
Build and Test Dafny Standard Libraries

Do not warn about {:verify false} on methods when using --allow-axiom #5177

Sign in to view logs

Do not warn about {:verify false} on methods when using --allow-axiom

Do not warn about {:verify false} on methods when using --allow-axiom #5177

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check-deep-tests / check-deep-tests
10s
build
28m 9s
28m 19s