From: Kira Date: Thu, 22 May 2025 03:49:07 +0000 (-0400) Subject: gh-134309: Add ``github.actor`` to the GitHub Actions concurrency key (#134310) X-Git-Tag: v3.15.0a1~1584 X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=979d81a17905e922d32fb1671f9ed394e0ffbda6;p=thirdparty%2FPython%2Fcpython.git gh-134309: Add ``github.actor`` to the GitHub Actions concurrency key (#134310) When inexperienced users create a PR from their default branch, all of the concurrency keys collide as there is no namespacing. This becomes an issue at events with many new contributors, where workflow runs are cancelled on other pull requests. Disambiguate by adding the username of the relevant 'actor' to the concurrency key. Co-authored-by: Adam Turner <9087854+AA-Turner@users.noreply.github.com> Co-authored-by: Sviatoslav Sydorenko Co-authored-by: C.A.M. Gerlach Authored-by: Adam Turner <9087854+AA-Turner@users.noreply.github.com> --- diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index b192508c7868..54ebc914b468 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -15,7 +15,13 @@ permissions: contents: read concurrency: - group: ${{ github.workflow }}-${{ github.head_ref || github.run_id }}-reusable + # https://docs.github.com/en/actions/writing-workflows/workflow-syntax-for-github-actions#concurrency + # 'group' must be a key uniquely representing a PR or push event. + # github.workflow is the workflow name + # github.actor is the user invoking the workflow + # github.head_ref is the source branch of the PR or otherwise blank + # github.run_id is a unique number for the current run + group: ${{ github.workflow }}-${{ github.actor }}-${{ github.head_ref || github.run_id }} cancel-in-progress: true env: