Stops duplicated action runs against internal PRs (#4430)

This commit is contained in:
Trenton H 2023-10-25 18:05:52 -07:00 committed by GitHub
parent 4dbdb216f9
commit aa53282298

View File

@ -22,6 +22,13 @@ env:
jobs: jobs:
pre-commit: 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 name: Linting Checks
runs-on: ubuntu-22.04 runs-on: ubuntu-22.04
steps: steps: