Skip to content
Agda

chore: .scm -> .a2ml for 6a2 files (canonical location) + Justfile make -> just #215

Sign in to view logs

chore: .scm -> .a2ml for 6a2 files (canonical location) + Justfile make -> just

chore: .scm -> .a2ml for 6a2 files (canonical location) + Justfile make -> just #215

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check
44s
44s