Stops duplicated action runs against internal PRs (#4430)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 7c22e9f987d3e834d03f7fa208247261d3833e1c..249da50a7fd0e2a1a58cd4da9e878fff484c1cc7 100644 (file)
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -22,6 +22,13 @@ env:
 
 jobs:
   pre-commit:
+    # We want to run on external PRs, but not on our own internal PRs as they'll be run
+    # by the push to the branch. Without this if check, checks are duplicated since
+    # internal PRs match both the push and pull_request events.
+    if:
+      github.event_name == 'push' || github.event.pull_request.head.repo.full_name !=
+      github.repository
+
     name: Linting Checks
     runs-on: ubuntu-22.04
     steps: