Skip to content
Test All Dafny Files

Fix 016 to also check upper chars #16

Sign in to view logs

Fix 016 to also check upper chars

Fix 016 to also check upper chars #16

Run time

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