diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index d35cbe1c58..8da5524ae7 100644 --- a/.github/workflows/docs.yml +++ b/.github/workflows/docs.yml @@ -89,8 +89,7 @@ jobs: make BUILDDIR=${PWD}/_build -C doc/ html - name: Push PR preview if: | - github.event_name == 'pull_request' && - github.event.pull_request.head.repo.full_name == github.repository + github.event_name == 'pull_request' uses: peaceiris/actions-gh-pages@v3 with: github_token: ${{secrets.GITHUB_TOKEN}} @@ -100,8 +99,7 @@ jobs: user_email: 'github-actions[bot]@users.noreply.github.com' - name: Comment about previewing documentation if: | - github.event_name == 'pull_request' && - github.event.pull_request.head.repo.full_name == github.repository + github.event_name == 'pull_request' uses: actions/github-script@v6 with: script: |