From ce695850bde93a685ac9fc513f9c20660575af7a Mon Sep 17 00:00:00 2001
From: shamoon <4887959+shamoon@users.noreply.github.com>
Date: Tue, 24 Sep 2024 08:26:53 -0700
Subject: [PATCH] Remove mike
---
.github/workflows/docs-publish.yml | 10 ++--------
mkdocs.yml | 2 --
2 files changed, 2 insertions(+), 10 deletions(-)
diff --git a/.github/workflows/docs-publish.yml b/.github/workflows/docs-publish.yml
index b45dbb7a..592449d5 100644
--- a/.github/workflows/docs-publish.yml
+++ b/.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
- if: github.ref == 'refs/heads/main'
- 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
+ - name: Docs Deploy
+ run: MKINSIDERS=true mkdocs gh-deploy --force
env:
GH_TOKEN: ${{ secrets.GH_TOKEN }}
diff --git a/mkdocs.yml b/mkdocs.yml
index 7c2d88e1..f0717e6e 100644
--- a/mkdocs.yml
+++ b/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