correct identifier

lapp0 · Jul 21, 2024 · 7a78d6a · 7a78d6a
1 parent 7b44501
commit 7a78d6a
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git 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
@@ -48,6 +48,7 @@ extra:
   version:
     provider: mike
     default: latest
+    alias: true
 
 # Extensions
 markdown_extensions: