Cancel previous workflows on the same pull request

NeuralEnsemble · Nov 13, 2023 · 007e013 · 007e013
1 parent 996e557
commit 007e013
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml
@@ -42,6 +42,11 @@ on:
     branches:
       - master
 
+# Cancel previous workflows on the same pull request
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: true
+
 # jobs define the steps that will be executed on the runner
 jobs: