Files
lightcraft/.github/workflows
Matthew James SivakandPaperclip 10c4d0c0ab Gap 9: only a PR's own pushes share a CI concurrency group
A group holds one active and one pending run, so `ci-${{ github.ref }}` let a
later push to main replace a queued run and skip its `cargo xtask ci`. Pull
request pushes keep the shared group (that supersession is the point); every
other run — a push to main, a manual one — now gets `ci-<run_id>`, a group of
its own, and always runs.

Co-Authored-By: Paperclip <noreply@paperclip.ing>
2026-10-20 15:07:19 +02:00
..