diff --git a/.circleci/report-coverage.sh b/.circleci/report-coverage.sh index 3da8ae750d4e3f470e3a5f0cfcebed88b0eed880..b8f31169017bc55cb925a259caebccf9b97c7e59 100755 --- a/.circleci/report-coverage.sh +++ b/.circleci/report-coverage.sh @@ -3,4 +3,5 @@ cp ./result-doc/share/doc/*/.coverage ./ python -m coverage combine .coverage python -m coverage report -codecov --file .coverage +python -m coverage xml +codecov --file coverage.xml