diff --git a/.github/workflows/docs.yaml b/.github/workflows/docs.yaml index 3d9a2decd8..0285f3d125 100644 --- a/.github/workflows/docs.yaml +++ b/.github/workflows/docs.yaml @@ -18,7 +18,7 @@ jobs: # deploy to gh pages if repo is pmret/papermario - name: Deploy to gh-pages if: github.repository != 'pmret/papermario' - uses: peaceiris/actions-gh-pages@v3 + uses: peaceiris/actions-gh-pages@v4 with: github_token: ${{ secrets.GITHUB_TOKEN }} publish_dir: ./docs/doxygen/html