💚 Switch to uv for the GitHub workflow

Author: veit

.github/workflows/docs.yml

@@ -15,9 +15,17 @@ jobs:
     - uses: ts-graphviz/setup-graphviz@v2
     - uses: actions/setup-python@v5
       with:
-        cache: pip
         # Keep in sync with .readthedocs.yaml
         python-version-file: .python-version
-    - run: python -m pip install -e ".[docs]"
-    - run: python -m sphinx -nb html docs/ docs/_build/html
-    - run: python -m sphinx -b linkcheck docs/ docs/_build/html
+    - name: Setup cached uv
+      uses: hynek/setup-cached-uv@v2
+    - name: Create venv and install docs dependencies
+      run: |
+        uv venv
+        echo "$PWD/.venv/bin" >> $GITHUB_PATH
+        uv pip install -e ".[docs]"
+    - name: Build HTML and check links
+      run: |
+        uv run make html
+        uv run make linkcheck
+      working-directory: docs/