CI: do not repeat CI runs for PRs from the same repo

NSLS-II-SMI · Oct 10, 2023 · 255d621 · 255d621
1 parent 07382d1
commit 255d621
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.github/workflows/testing.yml b/.github/workflows/testing.yml
@@ -6,6 +6,9 @@ on:
 
 jobs:
   build:
+    # pull requests are a duplicate of a branch push if within the same repo.
+    if: github.event_name != 'pull_request' || github.event.pull_request.head.repo.full_name != github.repository
+
     strategy:
       matrix:
         host-os: ["ubuntu-latest", "macos-latest", "windows-latest"]