Skip to content
Agda

chore: .scm -> .a2ml for 6a2 files (canonical location) + Justfile ma… #235

Sign in to view logs

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

chore: .scm -> .a2ml for 6a2 files (canonical location) + Justfile ma… #235

Triggered via push May 1, 2026 06:06
@hyperpolymathhyperpolymath
pushed 6bab86d
main
Status Success
Total duration 3m 12s
Artifacts –

agda.yml

on: push
check
3m 8s
check
Fit to window
Zoom out
Zoom in