Fix the concurrency group name for PR labeler workflow. (#14460)
Instead of flagging on the git ref for the run, flag on the repository ID and PR number. This ensures that previous runs get cancelled only for the correct PR when a new run is triggered. This should fix the seemingly random cases of PR labeler runs being cancelled for no apparent reason on our PRs.
Austin S. Hemmelgarn committed
Feb 8, 2023 at 07:09 UTC
cbd49601275f7569b060e6e1ee3154024783d693
1 file changed
+1
-1
.github/workflows/labeler.yml
+1
-1
@@ -4,7 +4,7 @@ name: Pull Request Labeler
4
on:
5
pull_request_target: null
6
concurrency:
7
- group: pr-label-${{ github.ref }}
7
+ group: pr-label-${{ github.repository_id }}-${{ github.event.pull_request.number }}
8
cancel-in-progress: true
9
jobs:
10
labeler: