Deploy docs fix

Fix doc deployment

Author: steven10a

.github/workflows/docs.yml

@@ -30,7 +30,7 @@ jobs:
       - name: Install dependencies
         run: make sync
       - name: Build docs
-        run: mkdocs build --strict --site-dir site
+        run: uv run mkdocs build --strict --site-dir site
       - name: Configure Pages
         uses: actions/configure-pages@v5
       - name: Upload artifact

pyproject.toml

@@ -48,6 +48,7 @@ dev = [
   "mkdocs-material>=9.6.14",
   "mkdocstrings[python]>=0.29.1",
   "mkdocs-static-i18n>=1.3.0",
+  "pymdown-extensions>=10.0.0",
   "coverage>=7.8.0",
   "hypothesis>=6.131.20",
 ]