Skip to content
Test All Dafny Files

Add text descriptions of the tasks (#54) #22

Sign in to view logs

Add text descriptions of the tasks (#54)

Add text descriptions of the tasks (#54) #22

Run time

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