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/codeql | |
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/codeql')
0 files changed, 0 insertions, 0 deletions