💚 fix documentation deploy

nlohmann · Nov 1, 2023 · 6eab7a2 · 6eab7a2
1 parent 1dfe407
commit 6eab7a2
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 6 deletions.
diff --git 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
@@ -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