Skip to content
Test All Dafny Files

Categorize hard-to-represent tasks #59

Sign in to view logs

Categorize hard-to-represent tasks

Categorize hard-to-represent tasks #59

Run time

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