Skip to content
Agda

chore: .scm -> .a2ml for 6a2 files (move to canonical location) + Jus… #228

Sign in to view logs

chore: .scm -> .a2ml for 6a2 files (move to canonical location) + Jus…

chore: .scm -> .a2ml for 6a2 files (move to canonical location) + Jus… #228

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check
2m 49s
2m 49s