Skip to content

Lighter PR CI: slow rows run only on push and dispatch, proof jobs start with preflight, and the merge gate is the maintainers' verification statuses (lane CI-LITE) - #288

Merged
luisleo526 merged 4 commits into
mainfrom
r5/ci-lite
Sep 25, 2026
Merged

Lighter PR CI: slow rows run only on push and dispatch, proof jobs start with preflight, and the merge gate is the maintainers' verification statuses (lane CI-LITE)#288
luisleo526 merged 4 commits into
mainfrom
r5/ci-lite

Commits

Commits on Sep 25, 2026