Skip to content
Test All Dafny Files

049, 073, 081, 089, 108, 114, 128 (#34) #7

Sign in to view logs

049, 073, 081, 089, 108, 114, 128 (#34)

049, 073, 081, 089, 108, 114, 128 (#34) #7

Run time

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