fix: update mike deployment options

Author: percevalw

.github/workflows/release.yml

@@ -53,15 +53,19 @@ jobs:
     - uses: actions/setup-python@v2
       with:
           python-version: "3.12"
+    - uses: hynek/setup-cached-uv@v2
+      with:
+        cache-suffix: -docs-${{ matrix.python-version }}-${{ env.WEEK }}
     - name: Install dependencies
       run: |
-        python -m pip install --upgrade pip
-        pip install -e '.[dev]'
+        uv venv
+        source .venv/bin/activate
+        uv pip install -e . --group docs --group dev
     - name: Set up Git
       run: |
         git config user.name ${{ github.actor }}
         git config user.email ${{ github.actor }}@users.noreply.github.com
     - name: Build documentation
       run: |
         git fetch origin gh-pages
-        mike deploy --push --no-redirect --update-aliases $GITHUB_REF_NAME latest
+        uv run mike deploy --push --alias-type=copy --update-aliases $GITHUB_REF_NAME latest