fix/mike 2 (#419)

- **fix: mike is a plugin**
- **fix: mike set-default**

Author: psteinroe

.github/workflows/deploy_docs.yml

@@ -4,6 +4,9 @@ on:
   push:
     branches:
       - main
+    # paths:
+    #   - "docs/**"
+    #   - "mkdocs.yml"
   release:
     types: [published]
 
@@ -40,8 +43,10 @@ jobs:
         run: |
           if [ "${{ github.event_name }}" = "release" ]; then
             uv run mike deploy --push --update-aliases ${{ github.event.release.tag_name }} latest
+            uv run mike set-default --push ${{ github.event.release.tag_name }}
           else
             uv run mike deploy --push main
+            uv run mike set-default --push main
           fi
 
   deploy: