hotfix: don't upload results on push

This commit is contained in:
Nicholas Tindle
2023-04-21 00:27:19 -05:00
committed by GitHub
parent 4eaec80438
commit c58cf15565

View File

@@ -75,6 +75,7 @@ jobs:
if: success() || failure()
- name: Publish coverage report
if: ${{ github.event_name == 'pull_request' }}
uses: orgoro/coverage@v3
with:
coverageFile: coverage.xml