make GitHub actions cancel themselves if another commit is made to th…

…e same PR
phate · Nov 18, 2024 · 0ffdb4b · 0ffdb4b
1 parent cf028fe
commit 0ffdb4b
Show file tree

Hide file tree

Showing 5 changed files with 20 additions and 0 deletions.
diff --git a/.github/workflows/CheckHeaders.yml b/.github/workflows/CheckHeaders.yml
@@ -4,6 +4,10 @@ on:
   pull_request:
     branches: [ master ]
 
+concurrency:
+  group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
+  cancel-in-progress: true
+
 jobs:
   CheckHeaders:
     runs-on: ubuntu-22.04

diff --git a/.github/workflows/ClangFormat.yml b/.github/workflows/ClangFormat.yml
@@ -4,6 +4,10 @@ on:
   pull_request:
     branches: [ master ]
 
+concurrency:
+  group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
+  cancel-in-progress: true
+
 jobs:
   CheckFormat:
     runs-on: ubuntu-22.04

diff --git a/.github/workflows/Doxygen.yml b/.github/workflows/Doxygen.yml
@@ -4,6 +4,10 @@ on:
   pull_request:
     branches: [ master ]
 
+concurrency:
+  group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
+  cancel-in-progress: true
+
 jobs:
   GenerateDocumentation:
     runs-on: ubuntu-22.04

diff --git a/.github/workflows/hls.yml b/.github/workflows/hls.yml
@@ -4,6 +4,10 @@ on:
   pull_request:
     branches: [ master ]
 
+concurrency:
+  group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
+  cancel-in-progress: true
+
 jobs:
 
   hls-test-suite:

diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml
@@ -4,6 +4,10 @@ on:
   pull_request:
     branches: [ master ]
 
+concurrency:
+  group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
+  cancel-in-progress: true
+
 jobs:
   build:
     runs-on: ubuntu-22.04