diff options
| author | hathach <[email protected]> | 2026-06-08 16:30:19 +0700 |
|---|---|---|
| committer | hathach <[email protected]> | 2026-06-08 16:30:19 +0700 |
| commit | fe273aa114c6ee20c23b506949a80490feff69b4 (patch) | |
| tree | a0d1150e71f406c6ea4033eab2c866b3e1723512 | |
| parent | 71f7ba0415764ef3dad0fe0dec49cde4d490fdc5 (diff) | |
ci: demote Average Code Size Metrics title to h2
metrics.md (write_combine_markdown) is also used as the PR size comment when
there is no base-metrics baseline; use h2 for its title too so the sticky
comment heading is consistent (and not oversized) in that fallback case.
Co-Authored-By: Claude Opus 4.8 (1M context) <[email protected]>
| -rw-r--r-- | tools/metrics.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/metrics.py b/tools/metrics.py index 05978b6ef..b7aa056e4 100644 --- a/tools/metrics.py +++ b/tools/metrics.py @@ -384,7 +384,7 @@ def render_combine_table(json_data, sort_order='name+'): def write_combine_markdown(json_data, path, sort_order='name+', title="TinyUSB Average Code Size Metrics"): """Write averaged size data to a markdown file.""" - md_lines = [f"# {title}", ""] + md_lines = [f"## {title}", ""] md_lines.extend(render_combine_table(json_data, sort_order)) md_lines.append("") |