Skip to content
Agda

docs(consolidate): record 2026-06-15→18 fidelity arc in ledger + seam… #769

Sign in to view logs

docs(consolidate): record 2026-06-15→18 fidelity arc in ledger + seam…

docs(consolidate): record 2026-06-15→18 fidelity arc in ledger + seam… #769

Triggered via push June 18, 2026 06:16
@hyperpolymathhyperpolymath
pushed 52e2b60
main
Status Cancelled
Total duration 10m 18s
Artifacts –

agda.yml

on: push
check
1m 57s
check
cold-check
9m 56s
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