From 42d0254356b7955ef73b1908f5b99e74078e4ef2 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)

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

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index f6b76b2..ba5b180 100644
--- 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: