Skip to content
Test All Dafny Files

041, 045, 046, 135, 136, 138 (#29) #2

Sign in to view logs

041, 045, 046, 135, 136, 138 (#29)

041, 045, 046, 135, 136, 138 (#29) #2

Run time

Learn about OS pricing on GitHub Actions
Job Run time
test
4m 4s
4m 4s