Skip to content
Agda

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

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… #214

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check
1m 24s
1m 24s