Skip to content

[CI] Give push events a unique concurrency group - #1920

Merged
vgvassilev merged 1 commit into
masterfrom
ci-per-push-concurrency
Jul 22, 2026
Merged

[CI] Give push events a unique concurrency group#1920
vgvassilev merged 1 commit into
masterfrom
ci-per-push-concurrency

Commits

Commits on Jul 22, 2026