From b91bc58c37124412569285f54ef7533ad06b4f30 Mon Sep 17 00:00:00 2001 From: bbhtt Date: Sun, 28 Jul 2024 11:44:34 +0530 Subject: [PATCH] Avoid running exception lint twice if PRs originate from the origin repo --- .github/workflows/exceptions.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/exceptions.yml b/.github/workflows/exceptions.yml index 44702dfb..a3bb5e4c 100644 --- a/.github/workflows/exceptions.yml +++ b/.github/workflows/exceptions.yml @@ -11,6 +11,7 @@ on: jobs: lint: runs-on: ubuntu-latest + if: (github.event_name == 'push' || github.event.pull_request.head.repo.full_name != github.repository) steps: - uses: actions/checkout@v4