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 /.github/workflows | |
| 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 '.github/workflows')
| -rw-r--r-- | .github/workflows/build.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index ce94a9829..e22ba909c 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -436,7 +436,7 @@ jobs: - name: Combine rig reports (one table per rig) run: | { - echo "## HIL test results" + echo "## Hardware-in-the-loop (HIL) Test Report" echo for d in hil-reports/hil-report-*; do [ -d "$d" ] || continue |