ci: send JSON report to Codecov (#527)

### Summary of Changes If the `clover.xml` report is sent to Codecov lines with conditionals are incorrectly marked as only partially covered (see [this issue](istanbuljs/istanbuljs#695)). We are now send the JSON report instead to get a more accurate picture of the code coverage.
Safe-DS · Jul 4, 2023 · 6a65649 · 6a65649
1 parent 922af22
commit 6a65649
Show file tree

Hide file tree

Showing 5 changed files with 705 additions and 317 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -44,7 +44,7 @@ jobs:
  with:
  token: ${{ secrets.CODECOV_TOKEN }}
  directory: DSL/coverage
- files: clover.xml
+ files: coverage-final.json
 
  # Build and test Runner component
  build-runner:

diff --git a/.github/workflows/pr.yml b/.github/workflows/pr.yml
@@ -49,7 +49,7 @@ jobs:
  with:
  token: ${{ secrets.CODECOV_TOKEN }}
  directory: DSL/coverage
- files: clover.xml
+ files: coverage-final.json
 
  # Build and test Runner component
  build-runner: