Skip to content

ci: push and schedule runs get their own concurrency group; only PR runs cancel each other - #76

Merged
askalf merged 2 commits into
mainfrom
ci/concurrency-run-id
Sep 23, 2026
Merged

ci: push and schedule runs get their own concurrency group; only PR runs cancel each other#76
askalf merged 2 commits into
mainfrom
ci/concurrency-run-id

Drop the rationale comment above the concurrency blocks

d5c1874
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar