ci: cancel in-progress runs when new commit is pushed

h-g-s · Copilot · h-g-s · commit 10854ab6665d · 2026-06-08T21:12:08.000-04:00
Co-authored-by: Copilot &lt;223556219+Copilot@users.noreply.github.com&gt;
diff --git a/.github/workflows/github-ci.yml b/.github/workflows/github-ci.yml
@@ -2,6 +2,10 @@ name: CI
 
 on: [push, pull_request]
 
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: true
+
 jobs:
 
   pre-commit:
