From 4be3fc308b5262a6aa01882fd174ebc9229ed7c8 Mon Sep 17 00:00:00 2001
From: BacLuc <lucius.bachmann@gmx.ch>
Date: Fri, 10 Nov 2023 22:04:31 +0100
Subject: [PATCH] deployment-pr.yml: do not deploy the same PR at the same time

Else the second deployment fails if you push to fast
to the same PR.
The default behaviour is that the previous deployment is canceled.
---
 .github/workflows/deployment-pr.yml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/.github/workflows/deployment-pr.yml b/.github/workflows/deployment-pr.yml
index f2d42b717b..c7c657a9a1 100644
--- 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!')