Label Triage

label-triage.yml

8 workflow runs

docs/foundation.adoc cites flake.guix, which does not exist on main (removed with flake.nix in #275)
completed successfully:
Label Triage#8:Issue#335openedbyhyperpolymath
Oct 1, 202610s
arena-ai-coding-agent PRs get zero CI signal: all 5 Actions workflows STARTUP_FAILURE (actor not allowed to trigger workflows) — #328 merged on this
completed successfully:
Label Triage#7:Issue#330openedbyhyperpolymath
Sep 30, 20268s
Agda red on main since #327: unsolved metas in EchoHaplotypeCollapsing.agda:153,159; #328 merged on a startup_failure run
completed successfully:
Label Triage#6:Issue#329openedbyhyperpolymath
Sep 30, 202617s
Actions allow-list live count (92) drifts from the standards canon (93): tailscale/github-action@* missing
completed successfully:
Label Triage#5:Issue#324openedbyhyperpolymath
Sep 22, 202610s
main is red: Governance Check documentation (no CONTRIBUTING) and gitleaks generic-api-key at .machine_readable/6a2/STATE.a2ml:261 (retire the file)
completed successfully:
Label Triage#4:Issue#323openedbyhyperpolymath
Sep 22, 202613s
agda.yml installs an unpinned apt-get install -y agda at L51 and L176 — the prover under the proofs changes without a commit
completed successfully:
Label Triage#3:Issue#322openedbyhyperpolymath
Sep 22, 20269s
experimental/echo-additive (7 modules incl. the Grade dioid) is in no CI lane; 'typechecks standalone' is unmeasured on main
completed successfully:
Label Triage#2:Issue#321openedbyhyperpolymath
Sep 22, 202611s
Preserved: 4 bit-narrowing Agda modules (36d04b5) on preserve/bit-narrowing-agda-2026-09-11, in no CI lane
completed successfully:
Label Triage#1:Issue#320openedbyhyperpolymath
Sep 22, 202610s