Skip to content
Agda

proof(ordinal): general head-Ω monotonicity head-Ω-mono (Gate 1 bui… #673

Sign in to view logs

proof(ordinal): general head-Ω monotonicity head-Ω-mono (Gate 1 bui…

proof(ordinal): general head-Ω monotonicity head-Ω-mono (Gate 1 bui… #673

Triggered via push June 13, 2026 12:52
@hyperpolymathhyperpolymath
pushed 4f44c8f
main
Status Cancelled
Total duration 1m 42s
Artifacts –

agda.yml

on: push
check
1m 30s
check
cold-check
1m 37s
cold-check
Fit to window
Zoom out
Zoom in

Annotations

5 errors
check
Canceling since a higher priority waiting request for Agda-refs/heads/main exists
check
The operation was canceled.
cold-check
Canceling since a higher priority waiting request for Agda-refs/heads/main exists
cold-check
The operation was canceled.
Agda
Canceling since a higher priority waiting request for Agda-refs/heads/main exists