GitHub Actions: make codecov optional

This commit is contained in:
Jakub Chrzanowski 2022-11-12 11:20:19 +01:00
parent 8c6cbc80aa
commit 2be97fa297
No known key found for this signature in database
GPG Key ID: C39095BFD769862E

View File

@ -92,7 +92,6 @@ jobs:
uses: codecov/codecov-action@v3
with:
files: ${{ github.workspace }}/build/reports/kover/xml/report.xml
fail_ci_if_error: true
# Cache Plugin Verifier IDEs
- name: Setup Plugin Verifier IDEs Cache