Skip to content

ci: key PR concurrency groups by PR number, not ref - #82

Merged
gusfcarvalho merged 1 commit into
mainfrom
ra/fix-concurrency-pr-number
Oct 9, 2026
Merged

ci: key PR concurrency groups by PR number, not ref#82
gusfcarvalho merged 1 commit into
mainfrom
ra/fix-concurrency-pr-number

ci: key PR concurrency groups by PR number, not ref

8d4ee0f
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar