test: improve code coverage reporting (#4849)

* Speed up the generation of coverage reports by using multiple cores.

* Add codecov step to coverage workflow.
This commit is contained in:
Bronek Kozicki
2024-01-22 21:09:18 +00:00
committed by GitHub
parent efe6722bf8
commit fad9d639bf
12 changed files with 718 additions and 192 deletions

View File

@@ -44,7 +44,7 @@ if [[ ${NINJA_BUILD:-} == true ]]; then
fi
coverage=false
if [[ "${TARGET}" == "coverage_report" ]] ; then
if [[ "${TARGET}" == "coverage" ]] ; then
echo "coverage option detected."
coverage=true
fi