Check duplicate CI runs (push vs pr)

mweirauch · May 26, 2024 · 42d0254 · 42d0254
1 parent 07a0242
commit 42d0254
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -7,8 +7,14 @@ on:
     types: [tag-release]
 
 jobs:
+  check-duplicate-runs:
+    name: Check Duplicate Runs
+    runs-on: ubuntu-latest
+    if: github.event_name != 'pull_request' || github.event.pull_request.head.repo.full_name != github.event.pull_request.base.repo.full_name
+
   lint:
     name: Lint
+    needs: [check-duplicate-runs]
     runs-on: ubuntu-latest
     steps:
       - name: Checkout
@@ -30,6 +36,7 @@ jobs:
 
   test:
     name: Test
+    needs: [check-duplicate-runs]
     strategy:
       matrix:
         os: