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

…. (2/?)
sergv · May 19, 2024 · f998f5d · f998f5d
1 parent 8dcab6f
commit f998f5d
Showing 1 changed file with 5 additions and 4 deletions.
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
@@ -7,15 +7,16 @@ 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 }}
     runs-on: ${{ matrix.os }}
 
+    # https://github.com/orgs/community/discussions/57827
+    if: github.event_name != 'pull_request' ||
+      github.event.pull_request.head.repo.full_name !=
+      github.event.pull_request.base.repo.full_name
+
     strategy:
       fail-fast: false
       matrix: