50a877b4c1
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.