This commit is contained in:
Mateusz Gruszczyński committed 2026-10-16 13:02:53 +02:00
1 parent 162e986d37
commit 6b937aaf85
54 files changed
+3527 -1325

No files matched your search

+10
View File
@@ -89,6 +89,16 @@ def check(root: Path, repair_known: bool = False) -> list[str]:
for doc_path in sorted(embedded_docs):
if not (root / doc_path).is_file():
raise ValueError(f"Missing embedded Reader document: {doc_path}; restore the file or remove its Reader registration")
# An included Rust source fragment cannot begin with an inner doc comment.
# Catch E0753 here so a source-only release does not ship an unbuildable
# admin module when a compiler is unavailable during packaging.
admin_mod = (root / "src/admin/mod.rs").read_text(encoding="utf-8")
if 'include!("dashboard_presets.rs");' in admin_mod:
fragment = root / "src/admin/dashboard_presets.rs"
if not fragment.is_file():
raise ValueError(f"Missing included module: {fragment.relative_to(root)}")
if fragment.read_text(encoding="utf-8").lstrip().startswith(("//!", "/*!")):
raise ValueError("src/admin/dashboard_presets.rs starts with an inner doc comment; use /// instead (Rust E0753)")
text = (root / "src/lib.rs").read_text(encoding="utf-8")
if '#[path = "auth/mod.rs"]' not in text:
raise ValueError("src/lib.rs is not the 0.31.9 entry point; extract the complete package, not individual files.")