Skip to content
Build and Test Dafny Standard Libraries

Fix opaque block in conjunction with match statements #3378

Sign in to view logs

Fix opaque block in conjunction with match statements

Fix opaque block in conjunction with match statements #3378

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check-deep-tests / check-deep-tests
8s
build
18m 17s
18m 25s