Repository navigation

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

Commits on Oct 8, 2026
- ci: key PR concurrency groups by PR number, not ref
  ccf-lisa[bot]
  committed
  8d4ee0f