Skip to content
Agda

docs(pillar-e): ordinal appendix at the WF milestone; order-type fidelity named OPEN #721

Sign in to view logs

docs(pillar-e): ordinal appendix at the WF milestone; order-type fidelity named OPEN

docs(pillar-e): ordinal appendix at the WF milestone; order-type fidelity named OPEN #721

Triggered via pull request June 14, 2026 12:35
@hyperpolymathhyperpolymath
opened #215
claude/quirky-gauss-GaGZo
Status Success
Total duration 11m 19s
Artifacts –

agda.yml

on: pull_request
check
1m 49s
check
cold-check
11m 15s
cold-check
Fit to window
Zoom out
Zoom in