Skip to content
Agda

docs(ordinal): record the unbudgeted sound-carrier wf-<ᵇʳᶠ² closure (… #718

Sign in to view logs

docs(ordinal): record the unbudgeted sound-carrier wf-<ᵇʳᶠ² closure (…

docs(ordinal): record the unbudgeted sound-carrier wf-<ᵇʳᶠ² closure (… #718

Triggered via push June 14, 2026 12:05
@hyperpolymathhyperpolymath
pushed deaff4f
main
Status Success
Total duration 11m 32s
Artifacts –

agda.yml

on: push
check
2m 1s
check
cold-check
11m 27s
cold-check
Fit to window
Zoom out
Zoom in