diff options
| author | hathach <[email protected]> | 2026-06-08 16:28:53 +0700 |
|---|---|---|
| committer | hathach <[email protected]> | 2026-06-08 16:28:53 +0700 |
| commit | 71f7ba0415764ef3dad0fe0dec49cde4d490fdc5 (patch) | |
| tree | 41fd9e6bbb11ce6a9fa626ec248828e693a3f010 /tools | |
| parent | a70c5a626b161eae1211fa47e9929de35b18bcd7 (diff) | |
ci: demote sticky-comment report headings to h2; rename HIL report
The Size Difference Report and HIL comments rendered their titles at h1, which
is oversized inside a PR comment. Use h2 for both titles (with subsections
demoted to h3 to keep the hierarchy), and rename the HIL comment from
"HIL test results" to "Hardware-in-the-loop (HIL) Test Report" for consistency.
Co-Authored-By: Claude Opus 4.8 (1M context) <[email protected]>
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/metrics.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/metrics.py b/tools/metrics.py index f624f382f..05978b6ef 100644 --- a/tools/metrics.py +++ b/tools/metrics.py @@ -400,7 +400,7 @@ def write_combine_markdown(json_data, path, sort_order='name+', title="TinyUSB A def write_compare_markdown(comparison, path, sort_order='size'): """Write comparison data to markdown file.""" md_lines = [ - "# Size Difference Report", + "## Size Difference Report", "", "Because TinyUSB code size varies by port and configuration, the metrics below represent the averaged totals across all example builds.", "", @@ -415,7 +415,7 @@ def write_compare_markdown(comparison, path, sort_order='size'): md_lines.append(f"<details><summary>{title}</summary>") md_lines.append("") else: - md_lines.append(f"## {title}") + md_lines.append(f"### {title}") md_lines.extend(render_compare_table(_build_rows(rows, sort_order), include_sum=True)) md_lines.append("") |