corrected mike call and gh pages deployment

CrowCpp · May 14, 2024 · 58da69d · 58da69d
1 parent b505a09
commit 58da69d
Showing 1 changed file with 4 additions and 7 deletions.
diff --git a/.github/workflows/doxygen-gh-pages.yml b/.github/workflows/doxygen-gh-pages.yml
@@ -33,11 +33,8 @@ jobs:
         run: |
           git config --global user.name Docs deploy
           git config --global user.email docs@dummy.bot.com
-      - name: run mike
-        run: mike deploy 1.1
+      - name: run mike (Deploy 🚀)
+        run: |
+          git fetch origin gh-pages --depth=1
+          mike deploy 1.1 --push
 
-      - name: Deploy 🚀
-        uses: JamesIves/github-pages-deploy-action@v4
-        with:
-          folder: site # The folder the action should deploy.
-          target-folder: 1.1 # deploy to versioned directory