Skip to content
Test New Dafny Files

Check all files contain an // impl-start comment #18

Sign in to view logs

Check all files contain an // impl-start comment

Check all files contain an // impl-start comment #18

Run time

Learn about OS pricing on GitHub Actions
Job Run time
test-changed
38s
38s