From 1849238d0457a8705bd7407cd283829dae4bf247 Mon Sep 17 00:00:00 2001
From: Oliver Kopp <kopp.dev@gmail.com>
Date: Wed, 12 Jul 2023 07:31:13 +0200
Subject: [PATCH] Cancel builds when PR is closed (#10077)

---
 .github/workflows/cleanup_pr.yml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/.github/workflows/cleanup_pr.yml b/.github/workflows/cleanup_pr.yml
index 9083237a044..f8f0bf392f0 100644
--- a/.github/workflows/cleanup_pr.yml
+++ b/.github/workflows/cleanup_pr.yml
@@ -4,6 +4,10 @@ on:
   pull_request:
     types: [closed]
 
+concurrency:
+  group: ${{ github.ref }}
+  cancel-in-progress: true
+
 jobs:
   cleanup:
     runs-on: ubuntu-latest