diff options
| author | Ha Thach <[email protected]> | 2025-12-05 21:43:39 +0700 |
|---|---|---|
| committer | GitHub <[email protected]> | 2025-12-05 21:43:39 +0700 |
| commit | 0b555fc46d1d41f967ba934a23d2f2de50e6564e (patch) | |
| tree | 5321db774c151ed49e1917d1c7045214ad2351f2 | |
| parent | e73dfde96dcf59e6357d833adbe49c1cf716a1b3 (diff) | |
| parent | 1e15094f33c7f394c3a706f9622b77bbebe62354 (diff) | |
Merge pull request #3391 from hathach/hide-unchange-size
hide unchange table
| -rw-r--r-- | tools/metrics.py | 18 |
1 files changed, 15 insertions, 3 deletions
diff --git a/tools/metrics.py b/tools/metrics.py index 2794c7a2a..354994268 100644 --- a/tools/metrics.py +++ b/tools/metrics.py @@ -283,11 +283,19 @@ def write_compare_markdown(comparison, path, sort_order='size'): else: (significant if is_significant(f) else minor).append(f) - def render_table(title, rows): - md_lines.append(f"## {title}") + def render_table(title, rows, collapsed=False): + if collapsed: + md_lines.append(f"<details><summary>{title}</summary>") + md_lines.append("") + else: + md_lines.append(f"## {title}") + if not rows: md_lines.append("No entries.") md_lines.append("") + if collapsed: + md_lines.append("</details>") + md_lines.append("") return md_lines.append(header) @@ -323,9 +331,13 @@ def write_compare_markdown(comparison, path, sort_order='size'): md_lines.append(sum_row) md_lines.append("") + if collapsed: + md_lines.append("</details>") + md_lines.append("") + render_table("Changes >1% in any section", significant) render_table("Changes <1% in all sections", minor) - render_table("No changes", unchanged) + render_table("No changes", unchanged, collapsed=True) with open(path, "w", encoding="utf-8") as f: f.write("\n".join(md_lines)) |