Enable concurrency on PR testing to avoid wastage

TuringLang · Dec 17, 2024 · 7835b7e · 7835b7e
1 parent dbc2985
commit 7835b7e
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/.github/workflows/Tests.yml b/.github/workflows/Tests.yml
@@ -6,6 +6,11 @@ on:
       - master
   pull_request:
 
+# Cancel existing tests on the same PR if a new commit is added to a pull request
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref || github.run_id }}
+  cancel-in-progress: ${{ startsWith(github.ref, 'refs/pull/') }}
+
 jobs:
   test:
     # Use matrix.test.name here to avoid it taking up the entire window width