Skip to content
Agda

docs(explorations): scaffold the decoration bridge as R5 (exploratory… #538

Sign in to view logs

docs(explorations): scaffold the decoration bridge as R5 (exploratory…

docs(explorations): scaffold the decoration bridge as R5 (exploratory… #538

Triggered via push May 27, 2026 17:18
@hyperpolymathhyperpolymath
pushed 65806f4
main
Status Cancelled
Total duration 26m 28s
Artifacts –

agda.yml

on: push
check
26m 26s
check
cold-check
26m 26s
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
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