chore: merge origin/main

This commit is contained in:
Abdessamad Derraz committed 2026-11-09 17:43:44 +01:00
commit 768cc9fd6f
14 files changed
+290 -10

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"