From 942bb9c28a3eb6b6f481b672339a5f1ddcb269ee Mon Sep 17 00:00:00 2001
From: Michael Weirauch <michael.weirauch@gmail.com>
Date: Sun, 26 May 2024 21:45:05 +0200
Subject: [PATCH] Check duplicate CI runs (push vs pr)

fix
---
 .github/workflows/ci.yml | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index f6b76b2..bfb1396 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -7,8 +7,15 @@ 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
+    steps: []
+
   lint:
     name: Lint
+    needs: [check-duplicate-runs]
     runs-on: ubuntu-latest
     steps:
       - name: Checkout
@@ -30,6 +37,7 @@ jobs:
 
   test:
     name: Test
+    needs: [check-duplicate-runs]
     strategy:
       matrix:
         os: