Avoid duplicate jobs on PR from a branch on the same repo

primait · Apr 4, 2023 · 98817b5 · 98817b5
1 parent a77df19
commit 98817b5
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -7,6 +7,9 @@ env:
 
 jobs:
   lint:
+    # Avoid duplicate jobs on PR from a branch on the same repo
+    if: github.event_name != 'pull_request' || github.event.pull_request.head.repo.full_name != github.event.pull_request.base.repo.full_name
+
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v3
@@ -22,6 +25,9 @@ jobs:
     env:
       RUSTDOCFLAGS: -Dwarnings
   test:
+    # Avoid duplicate jobs on PR from a branch on the same repo
+    if: github.event_name != 'pull_request' || github.event.pull_request.head.repo.full_name != github.event.pull_request.base.repo.full_name
+
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v3