remove mike

This commit is contained in:
Jason Liu
2023-11-06 23:22:11 -05:00
parent 79a87ac9d7
commit 29798caad1
2 changed files with 3 additions and 23 deletions
+3 -17
View File
@@ -15,8 +15,6 @@ jobs:
steps:
- name: Checkout code
uses: actions/checkout@v2
with:
fetch-depth: 0
- name: Setup Python
uses: actions/setup-python@v4
@@ -35,6 +33,7 @@ jobs:
restore-keys: |
mkdocs-material-
- name: Install Requirements
run: |
sudo apt-get update &&
@@ -44,18 +43,5 @@ jobs:
env:
GH_TOKEN: ${{ secrets.GH_TOKEN }}
- name: Fetch documentation branch
run: git fetch origin gh-pages --depth=1
- name: Configure Git User
run: |
git config user.name "ci-bot"
git config user.email "ci-bot@example.com"
- name: Get current tag
run: echo "version=$(git describe --tags --abbrev=0)" >> $GITHUB_ENV
- name: Build and deploy with mike
run: mike deploy --push --update-aliases ${{ env.version }} latest
env:
GITHUB_TOKEN: ${{ secrets.GH_TOKEN }}
- name: Build and deploy MkDocs
run: mkdocs gh-deploy --force
-6
View File
@@ -91,9 +91,6 @@ nav:
plugins:
- mike:
alias_type: symlink
canonical_version: latest
- social
- search
- mkdocstrings:
@@ -108,7 +105,6 @@ plugins:
plugins:
- optimize
- minify
- mike
- blog:
enabled: !ENV CI
blog_dir: "blog"
@@ -118,8 +114,6 @@ plugins:
post_url_format: "{date}/{slug}"
authors_file: "{blog}/.authors.yml"
extra:
version:
provider: mike
analytics:
provider: google
property: G-5CR8QXF5CN