improve coverage, remove infection
All checks were successful
/ ls (pull_request) Successful in 1m30s
All checks were successful
/ ls (pull_request) Successful in 1m30s
This commit is contained in:
parent
eaa723a58b
commit
0aa25d107b
10 changed files with 160 additions and 1317 deletions
|
@ -23,19 +23,7 @@ jobs:
|
|||
- name: lint
|
||||
run: composer lint
|
||||
- name: test
|
||||
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 @/tmp/git-msg \
|
||||
"${{ env.GITHUB_SERVER_URL }}/api/v1/repos/${{ github.repository }}/issues/${{ github.event.pull_request.number }}/comments"
|
||||
run: composer test
|
||||
- name: GIT commit and push all changed files
|
||||
env:
|
||||
CI_COMMIT_MESSAGE: Continuous Integration Fixes
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue