Add concurrency group to CI

lowRISC · Mar 20, 2024 · e3732ad · e3732ad
1 parent e771073
commit e3732ad
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -10,6 +10,13 @@ on:
   pull_request:
     branches: ["main"]
 
+# Cancel existing runs if a pull request is pushed.
+# For branch pushes, this will queue a new run and cancel the existing one. This allows the cache
+# of the run to be used by the new run.
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: ${{ github.event_name == 'pull_request' }}
+
 jobs:
   checks:
     name: Quality Check