Update concurrency groups to prevent merge runs and pull request runs from canceling each other (#26257)

Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com>
Co-authored-by: TravisEz13 <10873629+TravisEz13@users.noreply.github.com>
This commit is contained in:
CopilotandTravisEz13 authored and GitHub committed 2025-10-21 12:41:35 -07:00
1 parent af26292a7a
commit 770f8676d2
3 files changed
+3 -3

No files matched your search

+1 -1
View File
@@ -27,7 +27,7 @@ on:
# Path filters for PRs need to go into the changes job
concurrency:
group: ${{ github.workflow }}-${{ github.ref }}
group: ${{ github.workflow }}-${{ github.event_name }}-${{ github.ref }}
cancel-in-progress: ${{ contains(github.ref, 'merge')}}
env:
+1 -1
View File
@@ -25,7 +25,7 @@ on:
# Path filters for PRs need to go into the changes job
concurrency:
group: ${{ github.workflow }}-${{ github.ref }}
group: ${{ github.workflow }}-${{ github.event_name }}-${{ github.ref }}
cancel-in-progress: ${{ contains(github.ref, 'merge')}}
env:
+1 -1
View File
@@ -25,7 +25,7 @@ on:
# Path filters for PRs need to go into the changes job
concurrency:
group: ${{ github.workflow }}-${{ github.ref }}
group: ${{ github.workflow }}-${{ github.event_name }}-${{ github.ref }}
cancel-in-progress: ${{ contains(github.ref, 'merge')}}
permissions: