diff --git a/.github/workflows/publish_documentation.yml b/.github/workflows/publish_documentation.yml index 8f3dc6d33..5a32d13a4 100644 --- a/.github/workflows/publish_documentation.yml +++ b/.github/workflows/publish_documentation.yml @@ -35,9 +35,7 @@ jobs: run: make build -C docs/mkdocs - name: Deploy documentation - uses: crazy-max/ghaction-github-pages@v4 + uses: peaceiris/actions-gh-pages@v3 with: - target_branch: gh-pages - build_dir: docs/mkdocs/site - env: - GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} + github_token: ${{ secrets.GITHUB_TOKEN }} + publish_dir: ./docs/mkdocs/site diff --git a/docs/mkdocs/Makefile b/docs/mkdocs/Makefile index 6c352e565..d3356b820 100644 --- a/docs/mkdocs/Makefile +++ b/docs/mkdocs/Makefile @@ -21,7 +21,7 @@ style_check: clean: rm -fr docs/images/json.gif docs/examples -# publish site to GitHub pages (not working in GitHub Actions) +# publish site to GitHub pages (not working in GitHub Actions; need special action) publish: prepare_files venv/bin/mkdocs gh-deploy --clean --force