diff --git a/.github/workflows/doxygen-gh-pages.yml b/.github/workflows/doxygen-gh-pages.yml index 4a6a6375d..b06377527 100644 --- a/.github/workflows/doxygen-gh-pages.yml +++ b/.github/workflows/doxygen-gh-pages.yml @@ -29,7 +29,12 @@ jobs: run: doxygen - name: run mkdocs run: mkdocs build - + - name: Setup doc deploy + run: | + git config --global user.name Docs deploy + git config --global user.email docs@dummy.bot.com + - name: run mike + run: mike deploy master - name: Deploy 🚀 uses: JamesIves/github-pages-deploy-action@v4 with: