Merge pull request #2217 from Pwuts/patch-3

fix(pr-label): concurrency group cannot be empty
This commit is contained in:
BillSchumacher
2023-04-17 12:21:51 -05:00
committed by GitHub

View File

@@ -8,8 +8,8 @@ on:
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' || '' }}
group: ${{ format('pr-label-{0}', github.event.pull_request.number || github.sha) }}
cancel-in-progress: true
jobs:
conflicts: