X-Git-Url: https://git.madduck.net/etc/vim.git/blobdiff_plain/dd2f86ac0a043815821d228b9db036a295be5372..3a309a36fcfc30a96a7fdd68b6b2c3aa2aa5341c:/.github/workflows/doc.yml diff --git a/.github/workflows/doc.yml b/.github/workflows/doc.yml index d266e55..930b6d4 100644 --- a/.github/workflows/doc.yml +++ b/.github/workflows/doc.yml @@ -16,8 +16,14 @@ on: jobs: build: - runs-on: ubuntu-latest + # 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 + runs-on: ubuntu-latest steps: - uses: actions/checkout@v2