New workflow cancels old one (#665)

digraphs · Jun 26, 2024 · ec0efb0 · ec0efb0
1 parent 8d91be3
commit ec0efb0
Show file tree

Hide file tree

Showing 6 changed files with 24 additions and 0 deletions.
diff --git 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
@@ -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
@@ -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
@@ -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
@@ -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
@@ -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