ordinal: ω-power infrastructure + 9-of-13 rank-mono primitives #472
Triggered via pull request
May 20, 2026 18:55
hyperpolymath
Status
Cancelled
Total duration
1h 55m 55s
Artifacts
–
Annotations
4 errors
|
flake-check
Canceling since a higher priority waiting request for Agda-refs/pull/87/merge exists
|
|
check
Canceling since a higher priority waiting request for Agda-refs/pull/87/merge exists
|
|
cold-check
Canceling since a higher priority waiting request for Agda-refs/pull/87/merge exists
|
|
Agda
Canceling since a higher priority waiting request for Agda-refs/pull/87/merge exists
|