gh-103884: Docs CI: Only attempt nit-picky PR annotations for PRs (#103889)

This commit is contained in:
Hugo van Kemenade 2023-04-26 23:20:19 +03:00 committed by GitHub
parent bb8aa7a2b4
commit 842daa57cf
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 0 deletions

View File

@ -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