CI???

Shimuuar · Oct 31, 2023 · b6c4d2a · b6c4d2a
1 parent 7f96fbb
commit b6c4d2a
Showing 1 changed file with 0 additions and 5 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -10,11 +10,6 @@ defaults:
   run:
     shell: bash
 
-# Cancel running actions when a new action on the same PR is started
-concurrency:
-  group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
-  cancel-in-progress: true
-
 jobs:
   cabal:
     name: ${{ matrix.os }} / ghc ${{ matrix.ghc }}