update config and github action

Signed-off-by: Chengxuan Xing <[email protected]>
hyperledger-labs · Dec 24, 2024 · dc7cf51 · dc7cf51
1 parent 2edc25a
commit dc7cf51
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git 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
@@ -87,6 +87,7 @@ extra:
     property: !ENV GOOGLE_ANALYTICS_KEY
   version:
     provider: mike
+    alias: true
   generator: false
 exclude_docs: |
   _includes/