diff options
| author | hathach <[email protected]> | 2026-07-30 02:35:02 +0700 |
|---|---|---|
| committer | hathach <[email protected]> | 2026-07-30 02:35:02 +0700 |
| commit | 6271842ea874812f1157b42bcd650c59ab59259b (patch) | |
| tree | fba445d655d77108700c519f3c8f1f7346a9318e /.github/workflows/pr_comment.yml | |
| parent | 1b628e3fb581d56639fac9287448203db7d10ff1 (diff) | |
| parent | eef5af86aa26fe3d72e41156a586a6ed3ffce9f8 (diff) | |
Merge remote-tracking branch 'origin/master' into tmp/pr3790-merge
Diffstat (limited to '.github/workflows/pr_comment.yml')
| -rw-r--r-- | .github/workflows/pr_comment.yml | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/.github/workflows/pr_comment.yml b/.github/workflows/pr_comment.yml index 4d50817b4..868e56405 100644 --- a/.github/workflows/pr_comment.yml +++ b/.github/workflows/pr_comment.yml @@ -101,7 +101,16 @@ jobs: shopt -s nullglob dirs=(hil-reports/hil-report-*) if [ ${#dirs[@]} -eq 0 ]; then + # No rig produced a report: PR selection matched no board anywhere, or the + # HIL jobs did not run at all. Post it rather than exiting, so a table from + # an earlier push is replaced instead of being left to look current. echo "No HIL reports found" + { + echo "## Hardware-in-the-loop (HIL) Test Report" + echo + echo "_No HIL run for this push (no affected boards, or hardware testing did not run)._" + } > hil_combined.md + echo "found=true" >> "$GITHUB_OUTPUT" exit 0 fi { |