kill older jobs when adding new commits

ntwilson · May 4, 2024 · 5c01359 · 5c01359
1 parent ba0c89f
commit 5c01359
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml
@@ -6,6 +6,13 @@ on:
     branches:
       - main
 
+# Kill other jobs when we trigger this workflow by sending new commits
+# to the PR.
+# https://stackoverflow.com/a/72408109
+concurrency:
+  group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
+  cancel-in-progress: true
+
 jobs:
   test:
     runs-on: ubuntu-latest