Skip to content
Agda

proof(ordinal): head-Ω-strict-or-eq — the joint-bplus umbrella case-s… #678

Sign in to view logs

proof(ordinal): head-Ω-strict-or-eq — the joint-bplus umbrella case-s…

proof(ordinal): head-Ω-strict-or-eq — the joint-bplus umbrella case-s… #678

Triggered via push June 13, 2026 13:09
@hyperpolymathhyperpolymath
pushed 558b8fa
main
Status Cancelled
Total duration 8m 33s
Artifacts –

agda.yml

on: push
check
1m 57s
check
cold-check
8m 28s
cold-check
Fit to window
Zoom out
Zoom in

Annotations

3 errors
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