diff options
| author | Austin S. Hemmelgarn <austin@netdata.cloud> | 2023-02-08 07:09:24 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-02-08 07:09:24 -0500 |
| commit | cbd49601275f7569b060e6e1ee3154024783d693 (patch) | |
| tree | 8cd93c9f5cf23dbe5218568260cd870203704b76 /.github | |
| parent | c50c34e905782c0e835a0fa26339e60a70a6812a (diff) | |
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.
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/labeler.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/labeler.yml b/.github/workflows/labeler.yml index 2b8b41fcb0..a1e3b52fee 100644 --- a/.github/workflows/labeler.yml +++ b/.github/workflows/labeler.yml @@ -4,7 +4,7 @@ name: Pull Request Labeler on: pull_request_target: null concurrency: - group: pr-label-${{ github.ref }} + group: pr-label-${{ github.repository_id }}-${{ github.event.pull_request.number }} cancel-in-progress: true jobs: labeler: |