Merge pull request Significant-Gravitas#2203 from Pwuts/patch-2

fix(pr-label): mitigate excessive concurrent runs
javay · Apr 17, 2023 · 2bb0ecf · 2bb0ecf
2 parents f2baa08 + ef7b417
commit 2bb0ecf
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.github/workflows/pr-label.yml b/.github/workflows/pr-label.yml
@@ -7,6 +7,9 @@ on:
   # In `pull_request` we wouldn't be able to change labels of fork PRs
   pull_request_target:
     types: [opened, synchronize]
+concurrency:
+  group: ${{ github.event_name == 'pull_request_target' && format('pr-label-{0}', github.event.pull_request.number) || '' }}
+  cancel-in-progress: ${{ github.event_name == 'pull_request_target' || '' }}
 
 jobs:
   conflicts: