Skip to content
Agda

proof(ordinal): ψ-below-Ω boundary room lemma (equal-Ω building block) #679

Sign in to view logs

proof(ordinal): ψ-below-Ω boundary room lemma (equal-Ω building block)

proof(ordinal): ψ-below-Ω boundary room lemma (equal-Ω building block) #679

Triggered via pull request June 13, 2026 13:16
@hyperpolymathhyperpolymath
opened #200
claude/quirky-gauss-GaGZo
Status Cancelled
Total duration 52s
Artifacts –

agda.yml

on: pull_request
check
47s
check
cold-check
48s
cold-check
Fit to window
Zoom out
Zoom in

Annotations

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