Skip to content
Test All Dafny Files

another bench of programs (#2) #13

Sign in to view logs

another bench of programs (#2)

another bench of programs (#2) #13

Run time

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