diff --git a/.github/workflows/dev-lead.yml b/.github/workflows/dev-lead.yml index 02f5ada..e6e479a 100644 --- a/.github/workflows/dev-lead.yml +++ b/.github/workflows/dev-lead.yml @@ -37,15 +37,9 @@ on: permissions: {} -concurrency: - # One active run per repo; ci-relay (check_run) keeps an ephemeral per-SHA slot - # so it can fire immediately without blocking or being blocked by the dispatch queue. - group: >- - ${{ - github.event_name == 'check_run' && format('dev-lead-ci-relay-{0}', github.event.check_run.head_sha) || - 'dev-lead' - }} - cancel-in-progress: false +# Concurrency is centralised in the reusable workflow (dev-lead-reusable.yml) with +# per-issue / per-PR lanes, so issue pickups are never cancelled by PR follow-up +# traffic and the grouping can't drift per-repo. See petry-projects/.github#402. jobs: dev-lead: @@ -57,3 +51,4 @@ jobs: issues: write actions: read checks: read + statuses: read # required by dev-lead-reusable.yml since #435