Trying to cancel out duplicate push/pull_request Github Actions calls.

sergv · May 19, 2024 · 8dcab6f · 8dcab6f
1 parent 16be6e7
commit 8dcab6f
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
@@ -7,6 +7,10 @@ defaults:
   run:
     shell: bash
 
+concurrency:
+  group: build-${{ github.ref }}-${{ matrix.os }}-${{ matrix.ghc }}
+  cancel-in-progress: true
+
 jobs:
   main:
     name: GHC ${{ matrix.ghc }} on ${{ matrix.os }}