docs+feat+fix: roadmap consolidation + Echo-vs-Σ Track A/B/C + Lane 1+2 close-out + paper.adoc P0 fix #529
hyperpolymathagda.yml
on: pull_request
check
21m 3s
cold-check
21m 3s
Annotations
3 errors
|
check
Canceling since a higher priority waiting request for Agda-refs/pull/118/merge exists
|
|
cold-check
Canceling since a higher priority waiting request for Agda-refs/pull/118/merge exists
|
|
Agda
Canceling since a higher priority waiting request for Agda-refs/pull/118/merge exists
|