Merge pull request #157 from scipp/cancel_running_workflows

Cancel running workflows if new push to PR
scipp · Feb 8, 2023 · 723727e · 723727e
2 parents 4dcdb0a + e462224
commit 723727e
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -7,9 +7,12 @@ on:
   push:
     branches:
       - main
-      - release
   pull_request:
 
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref == 'refs/heads/main' && github.run_number || github.ref }}
+  cancel-in-progress: true  # cancel jobs from previous push
+
 jobs:
   formatting:
     name: Formatting and static analysis