fix(ci): use shared concurrency group for master push events (#4479)

The concurrency group used github.sha for push events, giving each
merge its own group. Back-to-back merges queued multiple full CI runs
that never cancelled each other, exhausting runner capacity.

Use a fixed 'push-master' group so only the latest push to master
runs CI — older runs are cancelled automatically.
This commit is contained in:
Argenis 2026-03-24 00:15:26 -04:00 committed by Roman Tataurov
parent e7a705ba50
commit 8f2b06b729
No known key found for this signature in database
GPG Key ID: 70A51EF3185C334B

View File

@ -7,7 +7,7 @@ on:
branches: [master]
concurrency:
group: ci-${{ github.event.pull_request.number || github.sha }}
group: ci-${{ github.event.pull_request.number || 'push-master' }}
cancel-in-progress: true
permissions: