fix: name the export reports as copied files

This commit is contained in:
Abdessamad Derraz committed 2026-11-05 12:56:05 +01:00
1 parent dd39be0f3d
commit 01d5d96064
2 files changed
+3 -3

No files matched your search

+2 -2
View File
@@ -2157,8 +2157,8 @@ def generate_data_page(exports: list[dict], measurements_sqlite: Path | None = N
"",
*(f"- [`{name}`](api/v1/schemas/{name}): {title}" for name, title in _served_schemas()),
"",
"`database.json`, `stats.json`, `release.json` and the manifests are not "
"envelopes. Their revision is the `commit` of `catalog.json` that lists "
"`database.json`, `stats.json`, `release.json`, the manifests and the export reports "
"are not envelopes. Their revision is the `commit` of `catalog.json` that lists "
"their SHA256.",
"",
"One emulator profile without the whole list: "
+1 -1
View File
@@ -267,7 +267,7 @@ class EveryEnvelopeCarriesTheCommit(unittest.TestCase):
raise unittest.SkipTest("not a git checkout")
lacking = [
path.relative_to(API).as_posix() for path in sorted(API.rglob("*.json"))
if path.parent.name not in ("schemas", "manifests", "targets")
if path.parent.name not in ("schemas", "manifests", "targets", "exports")
and path.name not in ("database.json", "stats.json", "release.json")
and "commit" not in json.loads(path.read_text())
]