Agda

docs+feat+fix: roadmap consolidation + Echo-vs-Σ Track A/B/C + Lane 1+2 close-out + paper.adoc P0 fix #517

Sign in to view logs

Triggered via pull request May 26, 2026 21:49

opened #118

docs/consolidate-roadmaps-and-sigma-skepticism-2026-05-26

Status Cancelled

Total duration 13m 31s

Artifacts –

agda.yml

on: pull_request

Annotations

3 errors

Canceling since a higher priority waiting request for Agda-refs/pull/118/merge exists

Canceling since a higher priority waiting request for Agda-refs/pull/118/merge exists

Canceling since a higher priority waiting request for Agda-refs/pull/118/merge exists