diff --git a/.github/workflows/publish_documentation.yml b/.github/workflows/publish_documentation.yml index eab4be357..f6b29a567 100644 --- a/.github/workflows/publish_documentation.yml +++ b/.github/workflows/publish_documentation.yml @@ -43,7 +43,7 @@ jobs: if: github.event_name == 'release' run: | mike deploy --push --update-aliases ${{ github.ref_name }} latest - mike set-default latest + mike set-default --push latest - name: Publish main as unstable env: diff --git a/mkdocs.yml b/mkdocs.yml index 1845c705f..26a355d65 100644 --- a/mkdocs.yml +++ b/mkdocs.yml @@ -48,6 +48,7 @@ extra: version: provider: mike default: latest + alias: true # Extensions markdown_extensions: