Skip to content
Agda

PARK the ordinal-fidelity ladder — consumer removed (D-2026-06-20) (#… #805

Sign in to view logs

PARK the ordinal-fidelity ladder — consumer removed (D-2026-06-20) (#…

PARK the ordinal-fidelity ladder — consumer removed (D-2026-06-20) (#… #805

Triggered via push June 20, 2026 01:23
@hyperpolymathhyperpolymath
pushed 62e9d61
main
Status Success
Total duration 11m 6s
Artifacts –

agda.yml

on: push
check
1m 43s
check
cold-check
10m 48s
cold-check
Fit to window
Zoom out
Zoom in