chore: merge the docs branch

This commit is contained in:
Abdessamad Derraz committed 2026-11-09 16:14:08 +01:00
commit 68e8ea449c
13 files changed
+276 -3

No files matched your search

+2
View File
@@ -32,6 +32,7 @@ on:
- "release.json"
- "derivable.json"
- "retired.json"
- "recipes/**"
- "measurements/**"
- "website/**"
# The type check's configuration and baseline.
@@ -62,6 +63,7 @@ on:
- "release.json"
- "derivable.json"
- "retired.json"
- "recipes/**"
- "measurements/**"
- "website/**"
- "pyproject.toml"