💚 fix documentation deploy

nlohmann · Nov 1, 2023 · 4ffd5bd · 4ffd5bd
1 parent 0261bc0
commit 4ffd5bd
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 3 deletions.
diff --git a/.github/workflows/publish_documentation.yml b/.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
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
+# publish site to GitHub pages (not working in CI)
 publish: prepare_files
 	venv/bin/mkdocs gh-deploy --clean --force