Remove mike

.github/workflows/docs-publish.yml

@@ -50,7 +50,6 @@ jobs:
           restore-keys: |
             mkdocs-material-
       - run: sudo apt-get install pngquant
-      - run: pip install mike
       - run: pip install mkdocs-material mkdocs-redirects "mkdocs-material[imaging]"
       - name: Test Docs Build
         run: MKINSIDERS=false mkdocs build
@@ -75,7 +74,6 @@ jobs:
           restore-keys: |
             mkdocs-material-
       - run: sudo apt-get install pngquant
-      - run: pip install mike==2.0.0
       - run: pip install git+https://${GH_TOKEN}@github.com/benphelps/mkdocs-material-insiders.git
       - run: pip install mkdocs-redirects "mkdocs-material[imaging]"
       - name: Set Git config
@@ -88,11 +86,7 @@ jobs:
           git checkout gh-pages
           git pull origin gh-pages
           git checkout main
-      - name: Docs Deploy for Main
+      - name: Docs Deploy
-        if: github.ref == 'refs/heads/main'
+        run: MKINSIDERS=true mkdocs gh-deploy --force
-        run: MKINSIDERS=true mike deploy --update --push ${{github.ref_name}}
-      - name: Docs Deploy for Tags
-        if: github.ref != 'refs/heads/main'
-        run: MKINSIDERS=true mike deploy --update --push ${{github.ref_name}} latest
 env:
   GH_TOKEN: ${{ secrets.GH_TOKEN }}

mkdocs.yml

@@ -231,8 +231,6 @@ extra_css:
   - "stylesheets/extra.css"
 
 extra:
-  version:
-    provider: mike
   social:
     - icon: fontawesome/brands/discord
       link: https://discord.gg/k4ruYNrudu