From dcb16731cf58cf2ec5a5f57f3d7a66dde8f055a0 Mon Sep 17 00:00:00 2001
From: Loris Cro <kappaloris@gmail.com>
Date: Thu, 24 Nov 2022 00:07:58 +0100
Subject: [PATCH] ci: cancel pending CI jobs when a PR gets updated

---
 .github/workflows/ci.yaml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
index 75bd4e2fb8..7c841777c9 100644
--- a/.github/workflows/ci.yaml
+++ b/.github/workflows/ci.yaml
@@ -4,6 +4,10 @@ on:
   push:
     branches: 
       - master
+concurrency: 
+  # Cancels pending runs when a PR gets updated.
+  group: ${{ github.head_ref || github.run_id }}
+  cancel-in-progress: true
 jobs:
   x86_64-linux-debug:
     outputs: