From dc7cf519aa809e434a1ebd5da924143491e3388f Mon Sep 17 00:00:00 2001 From: Chengxuan Xing Date: Tue, 24 Dec 2024 08:16:51 +0000 Subject: [PATCH] update config and github action Signed-off-by: Chengxuan Xing --- .github/workflows/docs.yaml | 2 +- doc-site/mkdocs.yml | 1 + 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/.github/workflows/docs.yaml b/.github/workflows/docs.yaml index 86da382..49b9e06 100644 --- a/.github/workflows/docs.yaml +++ b/.github/workflows/docs.yaml @@ -52,7 +52,7 @@ jobs: working-directory: doc-site run: | mike deploy ${{ github.event.release.tag_name }} latest -u --push - mike set-default latest + mike set-default --push latest - name: Update doc site for `main` branch if: ${{ github.event_name == 'push' }} diff --git a/doc-site/mkdocs.yml b/doc-site/mkdocs.yml index 61e7418..31474ed 100644 --- a/doc-site/mkdocs.yml +++ b/doc-site/mkdocs.yml @@ -87,6 +87,7 @@ extra: property: !ENV GOOGLE_ANALYTICS_KEY version: provider: mike + alias: true generator: false exclude_docs: | _includes/