chore: declare the mkdocs pin with the theme

This commit is contained in:
Abdessamad Derraz committed 2026-10-22 13:53:34 +02:00
1 parent 274fc37673
commit 90dd493f3d
2 files changed
+5 -1

No files matched your search

+3
View File
@@ -23,6 +23,9 @@ dev = [
# declared nowhere, so a contributor following either had to read the
# workflow to learn what to install.
docs = [
# MkDocs 2 drops plugins, and the theme, in maintenance since 9.7.0,
# will not follow it.
"mkdocs>=1.6,<2",
"mkdocs-material>=9.7.5,<10",
"pymdown-extensions>=10.14",
]
+2 -1
View File
@@ -45,7 +45,8 @@ is missing.
1. Checkout, Python 3.12
2. Install `pyyaml`, `jsonschema[format-nongpl]==4.26.0`,
`mkdocs-material>=9.7.5,<10`, `pymdown-extensions>=10.14`
`mkdocs>=1.6,<2`, `mkdocs-material>=9.7.5,<10`,
`pymdown-extensions>=10.14`
3. Run `validate_schemas.py`: the data contracts, checked before anything is
generated (see below)
4. Restore large files from the `large-files` release, refresh data directories