ci/check-cherry-picks: improve formatting of failure reports

This commit is contained in:
Wolfgang Walther 2025-05-28 18:21:33 +02:00
parent 6054a8f217
commit 3dff9c34c0
No known key found for this signature in database
GPG key ID: B39893FA5F65CAE1

View file

@ -92,7 +92,8 @@ while read -r new_commit_sha ; do
endgroup
log warning "Difference between $new_commit_sha and original $original_commit_sha may warrant inspection:"
$range_diff_common --color
# First line contains commit SHAs, which we already printed.
$range_diff_common --color | tail -n +2
echo "Note this should not necessarily be treated as a hard fail, but a reviewer's attention should" \
"be drawn to it and github actions have no way of doing that but to raise a 'failure'"