Skip to content
Agda

ordinal: ω-power infrastructure + 9-of-13 rank-mono primitives (#87) #482

Sign in to view logs

ordinal: ω-power infrastructure + 9-of-13 rank-mono primitives (#87)

ordinal: ω-power infrastructure + 9-of-13 rank-mono primitives (#87) #482

Triggered via push May 20, 2026 21:22
@hyperpolymathhyperpolymath
pushed 94fe43f
main
Status Cancelled
Total duration 8m 20s
Artifacts –

agda.yml

on: push
check
8m 18s
check
cold-check
8m 18s
cold-check
flake-check
8m 18s
flake-check
Fit to window
Zoom out
Zoom in

Annotations

4 errors
cold-check
Canceling since a higher priority waiting request for Agda-refs/heads/main exists
check
Canceling since a higher priority waiting request for Agda-refs/heads/main exists
flake-check
Canceling since a higher priority waiting request for Agda-refs/heads/main exists
Agda
Canceling since a higher priority waiting request for Agda-refs/heads/main exists