GitHub: Auto-cancel PR builds when new changes are pushed (#972)

* GitHub: Auto-cancel PR builds when new changes are pushed * Update .github/workflows/PR.yml to trigger cancellation * Undo extra whitespace
ni · Oct 10, 2024 · ebe576e · ebe576e
1 parent 4c0107a
commit ebe576e
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/.github/workflows/PR.yml b/.github/workflows/PR.yml
@@ -8,7 +8,11 @@ on:
   workflow_call:
   workflow_dispatch:
 
+concurrency:
+  group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
+  cancel-in-progress: true
+
 jobs:
   run_ci:
     name: Run CI
-    uses: ./.github/workflows/CI.yml
+    uses: ./.github/workflows/CI.yml