BUG: GHA: Cancel-in-progress event if not the same head SHA

Grouping based on github.event.pull_request.head.sha, i.e. "the commit ID for the last commit to the head branch of the pull request" only cancels commits with the same SHA. With this PR, on-going workflows of the same PR would be cancelled.
Kitware · Dec 11, 2024 · e27f2cf · e27f2cf
1 parent ddc8c11
commit e27f2cf
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.github/workflows/macos-arm.yml b/.github/workflows/macos-arm.yml
@@ -24,7 +24,7 @@ on:
             - 'Utilities/Maintenance/**'
 
 concurrency:
-  group: '${{ github.workflow }}@${{ github.event.pull_request.head.sha || github.head_ref || github.ref }}'
+  group: '${{ github.workflow }}@${{ github.head_ref || github.ref }}'
   cancel-in-progress: ${{ github.event_name == 'pull_request' }}
 
 env:

diff --git a/.github/workflows/pixi.yml b/.github/workflows/pixi.yml
@@ -24,7 +24,7 @@ on:
             - 'Utilities/Maintenance/**'
 
 concurrency:
-  group: '${{ github.workflow }}@${{ github.event.pull_request.head.sha || github.head_ref || github.ref }}'
+  group: '${{ github.workflow }}@${{ github.head_ref || github.ref }}'
   cancel-in-progress: ${{ github.event_name == 'pull_request' }}
 
 env: