Post comment anyway

pull/304/head
VintagePC 2023-09-17 19:45:24 -04:00
parent 515b93e9e7
commit 8073ce66fb
1 changed files with 4 additions and 6 deletions

View File

@ -115,15 +115,13 @@ jobs:
name: Coverage name: Coverage
path: build/Coverage path: build/Coverage
- name: Report failure
if: steps.tests_run.outcome == 'failure'
run: echo ${{ steps.tests_run.outcome }} && test -n ""
# We don't PR comment if the tests failed, because
# the report isn't a complete picture...
- name: Add PR Comment - name: Add PR Comment
if: ${{ github.event.pull_request }} if: ${{ github.event.pull_request }}
uses: mshick/add-pr-comment@v2 uses: mshick/add-pr-comment@v2
with: with:
message-path: build/Summary.txt message-path: build/Summary.txt
message-id: "coverage" message-id: "coverage"
- name: Report failure
if: steps.tests_run.outcome == 'failure'
run: echo ${{ steps.tests_run.outcome }} && test -n ""