Merge pull request #4069 from ecamp/cd-serialize-deployment

deployment-pr.yml: do not deploy the same PR at the same time
ecamp · Nov 12, 2023 · 4d4114f · 4d4114f
2 parents 6bcdfbc + 4be3fc3
commit 4d4114f
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/.github/workflows/deployment-pr.yml b/.github/workflows/deployment-pr.yml
@@ -4,6 +4,10 @@ on:
   pull_request_target:
     types: [opened, reopened, labeled, synchronize]
 
+concurrency:
+  group: ${{ github.workflow}}-${{ github.event.pull_request.number }}
+  cancel-in-progress: true
+
 jobs:
   build-and-push:
     if: contains(github.event.pull_request.labels.*.name, 'deploy!')