le king fu af36b51cf7 chore(ci): drop redundant push trigger; add concurrency group ... The `push` + `pull_request` combo doubled CI runs on every PR (visible on #170 with 4 pending checks instead of 2). Drop `push`, keep `pull_request: branches: [main]`. Trade-off: branches pushed without an open PR no longer get CI feedback. Open a draft PR if you want CI to run before requesting review — `/fix-issue` always opens a PR right after pushing, so the gap is essentially zero in practice. Also adds a concurrency group `ci-${{ github.ref }}` with cancel-in-progress so force-pushes cancel the previous run instead of stacking. Same change applied to .github/workflows/check.yml (GitHub mirror) to keep the two configs in sync. Fixes #171		2026-04-28 20:50:34 -04:00
..
workflows	chore(ci): drop redundant push trigger; add concurrency group	2026-04-28 20:50:34 -04:00