Improve diff output

pull/7154/head
Gokhan Gulbiz 2023-08-22 12:27:32 +03:00
parent e0fab47f97
commit 262aff22c4
No known key found for this signature in database
GPG Key ID: 608EF06B6BD1B45B
1 changed files with 7 additions and 3 deletions

View File

@ -25,9 +25,13 @@ runs:
- name: Publish regression.diffs
run: |-
if find src/test/regress -name "*.diffs" -type f -print -quit | grep -q .; then
echo '```diff' >> $GITHUB_STEP_SUMMARY
find src/test/regress -name "*.diffs" -exec cat {} + >> $GITHUB_STEP_SUMMARY
echo '```' >> $GITHUB_STEP_SUMMARY
diff=find src/test/regress -name "*.diffs" -exec cat {} +
if [ -z diff ]; then
echo '```diff' >> $GITHUB_STEP_SUMMARY
echo $diff >> $GITHUB_STEP_SUMMARY
echo '```' >> $GITHUB_STEP_SUMMARY
echo $diff
fi
fi
shell: bash
- name: Print stack traces