Fix double quote

pull/7154/head
Gokhan Gulbiz 2023-08-18 10:04:11 +03:00
parent 088d70a82a
commit 7d7f282ecf
No known key found for this signature in database
GPG Key ID: 608EF06B6BD1B45B
1 changed files with 2 additions and 2 deletions

View File

@ -21,9 +21,9 @@ runs:
- name: Publish regression.diffs
run: |-
if [ -f "src/test/regress/regression.diffs" ]; then
echo "```diff" >> $GITHUB_STEP_SUMMARY
echo '```diff' >> $GITHUB_STEP_SUMMARY
cat src/test/regress/regression.diffs >> $GITHUB_STEP_SUMMARY
echo "```" >> $GITHUB_STEP_SUMMARY
echo '```' >> $GITHUB_STEP_SUMMARY
fi
shell: bash
- name: Print stack traces