diff options
| -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 |