From b2c025b450f4f5c6a2c42b19c84fa0ebff9c4c87 Mon Sep 17 00:00:00 2001
From: Lucian Popescu <lucian.popescu@tecnico.ulisboa.pt>
Date: Tue, 28 Apr 2026 21:16:43 +0100
Subject: [PATCH 1/3] Cancel old runs when a new commit is pushed

---
 .github/workflows/codeql.yml    | 4 ++++
 .github/workflows/format.yml    | 4 ++++
 .github/workflows/run-tests.yml | 4 ++++
 3 files changed, 12 insertions(+)

diff --git a/.github/workflows/codeql.yml b/.github/workflows/codeql.yml
index f0d291e2..42d2e1e9 100644
--- a/.github/workflows/codeql.yml
+++ b/.github/workflows/codeql.yml
@@ -2,6 +2,10 @@ name: "CodeQL"
 
 on: [push, pull_request]
 
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: true
+
 jobs:
   analyze:
     name: Analyze ${{ matrix.language }}
diff --git a/.github/workflows/format.yml b/.github/workflows/format.yml
index 01c7772b..d05ab5ca 100644
--- a/.github/workflows/format.yml
+++ b/.github/workflows/format.yml
@@ -7,6 +7,10 @@ on:
   pull_request:
     branches: [ "**" ]
 
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: true
+
 jobs:
   format:
     runs-on: ubuntu-latest
diff --git a/.github/workflows/run-tests.yml b/.github/workflows/run-tests.yml
index b75fad03..4b32b632 100644
--- a/.github/workflows/run-tests.yml
+++ b/.github/workflows/run-tests.yml
@@ -2,6 +2,10 @@ name: "Run tests"
 
 on: [push, pull_request]
 
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: true
+
 jobs:
   test:
     strategy:

From 36465044ea5466404e4a218a459103da6096c598 Mon Sep 17 00:00:00 2001
From: Lucian Popescu <lucian.popescu@tecnico.ulisboa.pt>
Date: Tue, 28 Apr 2026 21:17:18 +0100
Subject: [PATCH 2/3] Trigger CI


From e30c0b3ca537f1d64b044354d51423b1c499375d Mon Sep 17 00:00:00 2001
From: Lucian Popescu <lucian.popescu@tecnico.ulisboa.pt>
Date: Tue, 28 Apr 2026 21:20:11 +0100
Subject: [PATCH 3/3] Trigger CI