Kevin Veen-Birkenbach 70d5871e94 ci: cancel the runs of a branch that is closed ...

The concurrency group only deduplicates live work on a branch; a run that was queued or still building kept its runner after the branch was deleted or its pull request closed. A delete and a pull_request closed trigger now cancel everything of that branch that has not completed, minus the cancelling run itself, which shares the head branch on a pull request event.

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>

2026-09-23 00:59:08 +02:00

876 B

Raw Blame History

View Raw