diff options
author | Hugo van Kemenade <hugovk@users.noreply.github.com> | 2023-04-26 20:20:19 (GMT) |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-04-26 20:20:19 (GMT) |
commit | 842daa57cf93280dfb3430061007b7d54d3c1353 (patch) | |
tree | 09deb8c761e59a7f55d6f36db27dc7a8b7d96544 /.github | |
parent | bb8aa7a2b41ad7649d66909e5266fcee039e63ed (diff) | |
download | cpython-842daa57cf93280dfb3430061007b7d54d3c1353.zip cpython-842daa57cf93280dfb3430061007b7d54d3c1353.tar.gz cpython-842daa57cf93280dfb3430061007b7d54d3c1353.tar.bz2 |
gh-103884: Docs CI: Only attempt nit-picky PR annotations for PRs (#103889)
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/doc.yml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/.github/workflows/doc.yml b/.github/workflows/doc.yml index 3101b30..28300d8 100644 --- a/.github/workflows/doc.yml +++ b/.github/workflows/doc.yml @@ -56,11 +56,13 @@ jobs: # Add pull request annotations for Sphinx nitpicks (missing references) - name: 'Get list of changed files' + if: github.event_name == 'pull_request' id: changed_files uses: Ana06/get-changed-files@v2.2.0 with: filter: "Doc/**" - name: 'Build changed files in nit-picky mode' + if: github.event_name == 'pull_request' continue-on-error: true run: | # Mark files the pull request modified |