Skip to content
Agda

ordinal(buchholz): fix Slice 2-bplus — explicit implicit on ≤′-refl (… #553

Sign in to view logs

ordinal(buchholz): fix Slice 2-bplus — explicit implicit on ≤′-refl (…

ordinal(buchholz): fix Slice 2-bplus — explicit implicit on ≤′-refl (… #553

Triggered via push May 27, 2026 19:22
@hyperpolymathhyperpolymath
pushed 172b071
main
Status Cancelled
Total duration 2h 16m 23s
Artifacts –

agda.yml

on: push
check
2h 16m
check
cold-check
2h 16m
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
Agda
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