diff --git a/.github/workflows/publish_documentation.yml b/.github/workflows/publish_documentation.yml index f5e5c2c75..6e3363493 100644 --- 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 index e4731bfd7..11bf3bef4 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 +# publish site to GitHub pages (not working in CI) publish: prepare_files venv/bin/mkdocs gh-deploy --clean --force