add pr feedback
This commit is contained in:
parent
7674b6a6bd
commit
441568bdb7
1 changed files with 5 additions and 2 deletions
|
@ -26,13 +26,16 @@ jobs:
|
|||
run: composer mutation
|
||||
- name: Add comment to pull request
|
||||
run: |
|
||||
echo '```' >> /tmp/pull-request-comment
|
||||
cat var/log/infection.txt >> /tmp/pull-request-comment
|
||||
cat var/log/summary.log >> /tmp/pull-request-comment
|
||||
echo '```' >> /tmp/pull-request-comment
|
||||
jq -n --arg msg "$(cat /tmp/pull-request-comment)" '{"body": $msg}' > /tmp/git-msg
|
||||
curl -X POST \
|
||||
-H "Authorization: token ${GITHUB_TOKEN}" \
|
||||
-H "Content-Type: application/json" \
|
||||
-d '{"body": "$(cat /tmp/pull-request-comment)"}' \
|
||||
"${GITHUB_SERVER_URL}/api/v1/repos/${GITHUB_REPOSITORY}/issues/${GITHUB_EVENT_PULL_REQUEST_NUMBER}/comments"
|
||||
-d @/tmp/git-msg \
|
||||
"${{ env.GITHUB_SERVER_URL }}/api/v1/repos/${{ github.repository }}/issues/${{ github.event.pull_request.number }}/comments"
|
||||
- name: GIT commit and push all changed files
|
||||
env:
|
||||
CI_COMMIT_MESSAGE: Continuous Integration Fixes
|
||||
|
|
Loading…
Reference in a new issue