X-Git-Url: https://git.madduck.net/etc/vim.git/blobdiff_plain/dd2f86ac0a043815821d228b9db036a295be5372..24418a54501381e1cdbe0ab1de4e4ced7537c124:/.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