chore: neutral report path and plain punctuation

The markdown report wrote to a directory named after the tooling that
happened to produce it. It takes --report-dir now, defaulting to
reports/, so nothing in the tree names anything but the project.

Em-dashes replaced throughout the sources and tests, rephrased rather
than swapped for a comma where the dash carried an apposition.
This commit is contained in:
Abdessamad Derraz committed 2026-08-12 16:16:52 +02:00
1 parent d2cc806e76
commit c313b32347
7 files changed
+20 -15

No files matched your search

+1 -1
View File
@@ -171,7 +171,7 @@ def load_platform_config(platform_name: str, platforms_dir: str = "platforms") -
config["cores"] = reg_cores
# Merge all registry fields absent from config (except cores,
# handled above with union logic). No hardcoded list — any field
# handled above with union logic). No hardcoded list: any field
# added to the registry is automatically available in the config.
for key, val in reg_entry.items():
if key != "cores" and key not in config: