corrected mike call and gh pages deployment

.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