Skip to content
Agda

docs(CLAUDE.md): Wave-3 rung state — Axis 8 closed + examples 5/9/10 … #464

Sign in to view logs

docs(CLAUDE.md): Wave-3 rung state — Axis 8 closed + examples 5/9/10 …

docs(CLAUDE.md): Wave-3 rung state — Axis 8 closed + examples 5/9/10 … #464

Triggered via push May 20, 2026 18:04
@hyperpolymathhyperpolymath
pushed 56935f4
main
Status Cancelled
Total duration 2h 24m 44s
Artifacts –

agda.yml

on: push
check
2h 24m
check
cold-check
2h 24m
cold-check
flake-check
2h 24m
flake-check
Fit to window
Zoom out
Zoom in

Annotations

4 errors
Agda
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
Canceling since a higher priority waiting request for Agda-refs/heads/main exists
flake-check
Canceling since a higher priority waiting request for Agda-refs/heads/main exists