From 9cb5f8321c2e39539285db5a58a35d380e1654e9 Mon Sep 17 00:00:00 2001
From: Tommy Nguyen <4123478+tido64@users.noreply.github.com>
Date: Fri, 31 Mar 2023 11:18:43 +0200
Subject: [PATCH] ci: cancel previous builds of a PR (#2326)

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

diff --git a/.github/workflows/pr.yml b/.github/workflows/pr.yml
index 273fe097b..519718042 100644
--- a/.github/workflows/pr.yml
+++ b/.github/workflows/pr.yml
@@ -1,5 +1,9 @@
 name: CI
 on: pull_request
+concurrency:
+  # Ensure single build of a pull request
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: true
 jobs:
   review:
     name: "Review"