Skip to content
Agda

session 2026-05-27: Tier-1+2+3 spine + audience moves + suite + F5 FULL PASS + Slice-2 adopted + narrative audit + diagrams #554

Sign in to view logs

session 2026-05-27: Tier-1+2+3 spine + audience moves + suite + F5 FULL PASS + Slice-2 adopted + narrative audit + diagrams

session 2026-05-27: Tier-1+2+3 spine + audience moves + suite + F5 FULL PASS + Slice-2 adopted + narrative audit + diagrams #554

Triggered via pull request May 27, 2026 21:38
@hyperpolymathhyperpolymath
opened #135
session/doc-refresh-v2-2026-05-27
Status Failure
Total duration 4h 7m 51s
Artifacts –

agda.yml

on: pull_request
check
4s
check
cold-check
11m 30s
cold-check
Fit to window
Zoom out
Zoom in

Annotations

1 error
check
Process completed with exit code 1.