CI: terminate outdated CI runs

ahelwer · ahelwer · commit e2fdd9c9b674 · 2025-02-27T18:54:05.000-05:00
Signed-off-by: Andrew Helwer &lt;ahelwer@pm.me&gt;
diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml
@@ -8,6 +8,9 @@ on:
       - master
   repository_dispatch:
     types: [tlaplus-dispatch]
+concurrency:
+  group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
+  cancel-in-progress: true
 
 jobs:
   validate:
