@@ -176,24 +176,25 @@ jobs:
176
176
177
177
- name : Print summary
178
178
if : steps.pr.outputs.pull-request-number
179
+ env :
180
+ pr_num : ${{ steps.pr.outputs.pull-request-number }}
181
+ pr_url : ${{ steps.pr.outputs.pull-request-url }}
182
+ pr_branch : ${{ steps.pr.outputs.pull-request-branch }}
183
+ head : ${{ steps.pr.outputs.pull-request-head-sha }}
184
+ operation : ${{ steps.pr.outputs.pull-request-operation }}
179
185
run : |
180
- num="${{ steps.pr.outputs.pull-request-number }}"
181
- pr_url="${{ steps.pr.outputs.pull-request-url }}"
182
- pr_branch="${{ steps.pr.outputs.pull-request-branch }}"
183
- head="${{ steps.pr.outputs.pull-request-head-sha }}"
184
- operation="${{ steps.pr.outputs.pull-request-operation }}"
185
-
186
+ short=${head:0:6}
186
187
# stdout
187
- echo "${head:0:6 } pushed to ${pr_branch}"
188
- echo "${pr } was ${operation}. "
189
-
190
- # markdown summary
191
- echo "## ${{ github.ref_name }}" >> $GITHUB_STEP_SUMMARY
192
- echo >> $GITHUB_STEP_SUMMARY
193
- echo "\`${head:0:6}\` pushed to \`${pr_branch}\`" >> $GITHUB_STEP_SUMMARY
194
- echo >> $GITHUB_STEP_SUMMARY
195
- echo "[#${num}](${pr_url}) was ${operation}." >> $GITHUB_STEP_SUMMARY
196
- echo >> $GITHUB_STEP_SUMMARY
188
+ echo "${short } pushed to ${pr_branch}"
189
+ echo "#${pr_num } was ${operation}: ${pr_url} "
190
+ ( # markdown summary
191
+ echo "## ${{ github.ref_name }}"
192
+ echo
193
+ echo "\`${short}\` pushed to \`${pr_branch}\`"
194
+ echo
195
+ echo "[#${pr_num}](${pr_url}) was ${operation}."
196
+ echo
197
+ ) >> $GITHUB_STEP_SUMMARY
197
198
198
199
- name : Print cancellation summary
199
200
if : (!steps.pr.outputs.pull-request-number)
0 commit comments