Update dev deps, use Py 3.11+ for docs

.github/workflows/ci.yml

@@ -123,6 +123,8 @@ jobs:
 
   check-docs:
     runs-on: ubuntu-latest
+    env:
+      UV_PYTHON: "3.13"
     steps:
       - uses: actions/checkout@v7
         with:

.github/workflows/release.yml

@@ -93,6 +93,8 @@ jobs:
 
   release-docs:
     runs-on: ubuntu-latest
+    env:
+      UV_PYTHON: "3.13"
     steps:
       - uses: actions/checkout@v7
         with:

docs/contributing/index.md

@@ -76,9 +76,11 @@ It will take you to GitHub, where you can edit the Markdown file and submit a pu
 Install dependencies for docs:
 
 ```shell
-uv sync --group docs
+uv sync --python 3.13 --group docs
 ```
 
+The docs tooling needs Python 3.11 or newer.
+
 Then, start a local docs server:
 
 ```shell

pyproject.toml

@@ -161,11 +161,9 @@ docs = [
     "mkdocs-git-revision-date-localized-plugin>=1.4.5",
     "mkdocs-macros-plugin>=1.3.7",
     "mkdocs-material>=9.6.13",
-    "mkdocstrings>=0.29.1",
+    "mkdocstrings>=1.0.7",
     "mkdocstrings-python>=1.16.10",
-    # pymdown-extensions 12 breaks mkdocstrings <1.0.7, and 1.0.7+ needs Python 3.11.
-    # Drop this pin once Python 3.10 support is removed.
-    "pymdown-extensions<12",
+    "pymdown-extensions>=12",
     "jinja2>=3.1,<3.2",
     "markupsafe<4.0.0",
     "linkchecker~=10.6.0",
@@ -176,6 +174,9 @@ ci = ["cibuildwheel>=4.3.1,<5 ; python_version >= '3.11'"]
 benchmark = ["pyjelly[rdflib]", "zstandard>=0.23.0 ; python_version < '3.14'"]
 
 
+[tool.uv.dependency-groups]
+docs = { requires-python = ">=3.11" }
+
 [tool.uv]
 required-version = ">=0.13.4,<0.14"
 default-groups = ["dev", "extras", "test", "types"]