python(fix): install docs dependencies from uv.lock

.github/actions/python-mike-delete/action.yml

@@ -10,15 +10,15 @@ runs:
   using: composite
   steps:
     - name: Set up Python
-      uses: actions/setup-python@v5
+      uses: astral-sh/setup-uv@v6
       with:
-        python-version: '3.11'
+        enable-cache: true
 
     - name: Install docs dependencies
       shell: bash
       run: |
         cd python
-        pip install -e .[docs-build]
+        uv sync --frozen --python 3.11 --extra docs-build
 
     - name: Fetch gh-pages branch
       shell: bash
@@ -37,8 +37,8 @@ runs:
       run: |
         cd python
         echo "Deleting docs for: $VERSION"
-        if mike list | grep -q "$VERSION"; then
-          mike delete "$VERSION" --push
+        if uv run --no-sync mike list | grep -q "$VERSION"; then
+          uv run --no-sync mike delete "$VERSION" --push
           echo "Successfully deleted docs for $VERSION"
         else
           echo "No docs found for $VERSION, nothing to delete"

.github/actions/python-mike-deploy/action.yml

@@ -18,15 +18,15 @@ runs:
   using: composite
   steps:
     - name: Set up Python
-      uses: actions/setup-python@v5
+      uses: astral-sh/setup-uv@v6
       with:
-        python-version: '3.11'
+        enable-cache: true
 
     - name: Install docs dependencies
       shell: bash
       run: |
         cd python
-        pip install -e .[docs-build]
+        uv sync --frozen --python 3.11 --extra docs-build
 
     - name: Fetch gh-pages branch
       shell: bash
@@ -64,4 +64,4 @@ runs:
         MIKE_ARGS+=(--push --update-aliases --prop-set "hidden=$HIDDEN")
 
         echo "Running: mike deploy ${MIKE_ARGS[*]}"
-        mike deploy "${MIKE_ARGS[@]}"
+        uv run --no-sync mike deploy "${MIKE_ARGS[@]}"

.github/workflows/python_build_docs.yml

@@ -4,6 +4,7 @@ on:
   pull_request:
     types: [ opened, synchronize, closed ]
     paths:
+      - '.github/actions/python-mike-*/**'
       - 'python/docs/**'
       - 'python/lib/**'
       - 'python/mkdocs.yml'
@@ -34,15 +35,15 @@ jobs:
         run: |
           # Use commit hash as version for dev deployments
           VERSION=$(git rev-parse --short HEAD)
-          
+
           if [[ "${{ github.event_name }}" == "pull_request" ]]; then
             # Use PR number as alias for PR deployments
             ALIAS="pr-${{ github.event.number }}"
           else
             # Use 'dev' for manual workflow dispatch
             ALIAS="dev"
           fi
-          
+
           echo "version=$VERSION" >> $GITHUB_OUTPUT
           echo "alias=$ALIAS" >> $GITHUB_OUTPUT
           echo "Dev deployment - Version: $VERSION, Alias: $ALIAS"