diff --git a/.github/workflows/docs-publish.yml b/.github/workflows/docs-publish.yml index b45dbb7a7..592449d53 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 7c2d88e1a..f0717e6e5 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