Agda

session 2026-05-27: Tier-1+2+3 spine + audience moves + suite + F5 FU… #555

Sign in to view logs

Triggered via push May 27, 2026 21:38

main

Status Failure

Total duration 4h 8m 44s

Artifacts –

agda.yml

on: push

Annotations

1 error

Process completed with exit code 1.