Fix for diffs output

pull/7154/head
Gokhan Gulbiz 2023-08-22 16:50:07 +03:00
parent ae588a337b
commit 7b1c662c4f
No known key found for this signature in database
GPG Key ID: 608EF06B6BD1B45B
1 changed files with 6 additions and 8 deletions

View File

@ -24,14 +24,12 @@ runs:
/tmp/pg_upgrade_newData_logs
- name: Publish regression.diffs
run: |-
if find src/test/regress -name "*.diffs" -type f -print -quit | grep -q .; then
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
diffs = "$(find src/test/regress -name "*.diffs" -exec cat {} +)"
if [ -z "$diffs" ]; then
echo '```diff' >> $GITHUB_STEP_SUMMARY
echo $diffs >> $GITHUB_STEP_SUMMARY
echo '```' >> $GITHUB_STEP_SUMMARY
echo $diffs
fi
shell: bash
- name: Print stack traces