Skip to content

ci: make local-ci the merge gate and cut Actions CI to one PR-only job - #129

Merged
idapixl merged 1 commit into
masterfrom
ci/lean-shape-local-ci
Sep 28, 2026
Merged

idapixl merged 1 commit into
masterfrom
ci/lean-shape-local-ci

Commits

Commits on Sep 28, 2026