Skip to content
Agda

docs: post-PR-136 narrative refresh (CHANGELOG + EXPLAINME + MAP + RE… #577

Sign in to view logs

docs: post-PR-136 narrative refresh (CHANGELOG + EXPLAINME + MAP + RE…

docs: post-PR-136 narrative refresh (CHANGELOG + EXPLAINME + MAP + RE… #577

Triggered via push May 28, 2026 09:11
@hyperpolymathhyperpolymath
pushed 0fce4af
main
Status Cancelled
Total duration 1m 6s
Artifacts –

agda.yml

on: push
check
42s
check
cold-check
42s
cold-check
Fit to window
Zoom out
Zoom in

Annotations

5 errors
check
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
check
The operation was canceled.
cold-check
The operation was canceled.
Agda
Canceling since a higher priority waiting request for Agda-refs/heads/main exists