Skip to content
Build and Test Dafny Runtimes

Feat: @-attributes on top-level declarations #8758

Sign in to view logs

Feat: @-attributes on top-level declarations

Feat: @-attributes on top-level declarations #8758

Run time

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