Skip to content
Test All Dafny Files

Print filename and count in CI (#27) #73

Sign in to view logs

Print filename and count in CI (#27)

Print filename and count in CI (#27) #73

Run time

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