Agda

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

Sign in to view logs

Triggered via push May 1, 2026 05:49

chore/scm-to-a2ml-and-justfile-make

Status Success

Total duration 2m 59s

Artifacts –

agda.yml

on: push