Skip to content

Unify CI concurrency group across trigger events#15

Merged
mariusvniekerk merged 2 commits into
mainfrom
ci-concurrency-ref-name
Jun 10, 2026
Merged

Unify CI concurrency group across trigger events#15
mariusvniekerk merged 2 commits into
mainfrom
ci-concurrency-ref-name

Key PR concurrency groups by PR number, not head_ref

4e8dc9e
Select commit
Loading
Failed to load commit list.