Auto-cancel github actions workflow if a newer commit gets pushed to …

…a given branch/PR.
sandialabs · Oct 7, 2024 · 9572788 · 9572788
1 parent d8a2690
commit 9572788
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml
@@ -2,6 +2,12 @@ name: CI
 
 on: [push, pull_request]
 
+# Cancel the current workflow if a newer commit gets pushed to the
+# branch or PR that triggered it.
+concurrency:
+  group: ${{ github.ref }}
+  cancel-in-progress: ${{ github.ref != 'refs/heads/master' }}
+
 jobs:
   linux-gcc:
     runs-on: ubuntu-22.04