Agda

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

Sign in to view logs

Triggered via push April 30, 2026 17:04

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

Status Failure

Total duration 1m 28s

Artifacts –

agda.yml

on: push

Annotations

1 error

Process completed with exit code 42.