Skip to content
Agda

Binary Veblen φ_α(β) + the diagonal Γ₀ (BH climb rung 4) (#245) #799

Sign in to view logs

Binary Veblen φ_α(β) + the diagonal Γ₀ (BH climb rung 4) (#245)

Binary Veblen φ_α(β) + the diagonal Γ₀ (BH climb rung 4) (#245) #799

Triggered via push June 20, 2026 00:21
@hyperpolymathhyperpolymath
pushed 145320c
main
Status Cancelled
Total duration 9m 5s
Artifacts –

agda.yml

on: push
check
1m 45s
check
cold-check
9m 0s
cold-check
Fit to window
Zoom out
Zoom in

Annotations

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