Update doxygen-gh-pages.yml, added mike for versioning

2024-02-21 22:48:46 +01:00 · 2024-02-21 22:48:46 +01:00 · 08acd3a5fa
parent c47540bb8c
commit 08acd3a5fa
1 changed files with 6 additions and 1 deletions
--- 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: