Merge 2645ccd27d into 1b6a4f4301

2024-05-14 20:55:23 +00:00 · 2024-05-14 20:55:23 +00:00 · 42330b0f30
parent 1b6a4f4301 2645ccd27d
commit 42330b0f30
1 changed files with 4 additions and 7 deletions
--- a/.github/workflows/doxygen-gh-pages.yml
+++ b/.github/workflows/doxygen-gh-pages.yml
@ -33,10 +33,7 @@ jobs:
        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:
-          folder: site # The folder the action should deploy.
-          target-folder: master # deploy to versioned directory
+      - name: run mike (Deploy 🚀)
+        run: |
+          git fetch origin gh-pages --depth=1
+          mike deploy master --push