Skip to content

Commit 8145e5d

Browse files
committed
fix: add concurrency settings for pull request builds
1 parent d9e36f7 commit 8145e5d

File tree

1 file changed

+4
-0
lines changed

1 file changed

+4
-0
lines changed

.github/workflows/pull-request.yml

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -9,6 +9,10 @@ permissions:
99
issues: write
1010
actions: write
1111

12+
concurrency:
13+
group: pr-build-${{ github.workflow }}-${{ github.event.pull_request.number }}-${{ github.event.label.name == 'build' && 'build' || github.run_id }}
14+
cancel-in-progress: ${{ github.event.label.name == 'build' && github.event.action == 'unlabeled' }}
15+
1216
jobs:
1317
gate:
1418
if: github.event.action == 'labeled' && github.event.label.name == 'build'

0 commit comments

Comments
 (0)