From ec0efb0dbcf40892ca9404fcf6abed10b2c166cb Mon Sep 17 00:00:00 2001
From: Joe Edwards <80713360+Joseph-Edwards@users.noreply.github.com>
Date: Wed, 26 Jun 2024 21:47:08 +0100
Subject: [PATCH] New workflow cancels old one (#665)

---
 .github/workflows/config_options.yml | 4 ++++
 .github/workflows/lint.yml           | 4 ++++
 .github/workflows/manual.yml         | 4 ++++
 .github/workflows/os.yml             | 4 ++++
 .github/workflows/ubuntu.yml         | 4 ++++
 .github/workflows/valgrind.yml       | 4 ++++
 6 files changed, 24 insertions(+)

diff --git a/.github/workflows/config_options.yml b/.github/workflows/config_options.yml
index 1485ce1b2..01c16fb5a 100644
--- a/.github/workflows/config_options.yml
+++ b/.github/workflows/config_options.yml
@@ -12,6 +12,10 @@ on:
 env:
   NO_COVERAGE: true
 
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: true
+
 jobs:
   with-external-planarity-bliss:
     name: ${{ matrix.bliss }} ${{ matrix.planarity }}
diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml
index 4c3121a91..3b529ada9 100644
--- a/.github/workflows/lint.yml
+++ b/.github/workflows/lint.yml
@@ -10,6 +10,10 @@ on:
     # Every day at 3:30 AM UTC
     - cron: 30 3 * * *
 
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: true
+
 jobs:
   lint:
     name: ${{ matrix.linter }}
diff --git a/.github/workflows/manual.yml b/.github/workflows/manual.yml
index 19690801a..3ad5c884c 100644
--- a/.github/workflows/manual.yml
+++ b/.github/workflows/manual.yml
@@ -10,6 +10,10 @@ on:
     # Every day at 3:20 AM UTC
     - cron: "20 3 * * *"
 
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: true
+
 jobs:
   manual:
     name: compile and upload manual
diff --git a/.github/workflows/os.yml b/.github/workflows/os.yml
index a1662c369..1a1eba4cd 100644
--- a/.github/workflows/os.yml
+++ b/.github/workflows/os.yml
@@ -14,6 +14,10 @@ env:
   DIGRAPHS_LIB: digraphs-lib-0.6
   NO_COVERAGE: true
 
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: true
+
 jobs:
   test-unix:
     name: ${{ matrix.os }}${{ matrix.ABI }} / GAP stable-4.13
diff --git a/.github/workflows/ubuntu.yml b/.github/workflows/ubuntu.yml
index a250cae87..e9c0b91d9 100644
--- a/.github/workflows/ubuntu.yml
+++ b/.github/workflows/ubuntu.yml
@@ -14,6 +14,10 @@ env:
   DIGRAPHS_LIB: digraphs-lib-0.6
   NO_COVERAGE: true
 
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: true
+
 jobs:
   test-unix:
     name: GAP ${{ matrix.gap-branch }} / ${{ matrix.only-needed && 'only-needed' || 'needed+suggested' }}
diff --git a/.github/workflows/valgrind.yml b/.github/workflows/valgrind.yml
index 65f8df82b..40227c018 100644
--- a/.github/workflows/valgrind.yml
+++ b/.github/workflows/valgrind.yml
@@ -14,6 +14,10 @@ env:
   VALGRIND: valgrind --trace-children=yes --leak-check=full --error-exitcode=1
   NO_COVERAGE: true
 
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: true
+
 jobs:
   test-valgrind:
     name: Ubuntu / GAP stable-4.13 / valgrind