💚 fix documentation deploy

Author: nlohmann

.github/workflows/publish_documentation.yml

@@ -31,5 +31,10 @@ jobs:
       - name: Install virtual environment
         run: make install_venv -C docs/mkdocs
 
-      - name: Publish documentation
-        run: make publish -C docs/mkdocs
+      - name: Build documentation
+        run: make build -C docs/mkdocs
+
+      - name: Deploy documentation
+        uses: JamesIves/github-pages-deploy-action@v4
+        with:
+          folder: docs/mkdocs/site

docs/mkdocs/Makefile

@@ -21,7 +21,7 @@ style_check:
 clean:
 	rm -fr docs/images/json.gif docs/examples
 
-# publish site to GitHub pages
+# publish site to GitHub pages (not working in CI)
 publish: prepare_files
 	venv/bin/mkdocs gh-deploy --clean --force