Fix bloated coverage uploads (#2005)

Move coverage data to a better directory, merge it better and don't publish it from CircleCI pipeline
This commit is contained in:
Dmitry Ivanov
2022-06-29 17:59:19 +03:00
committed by GitHub
parent cef90d9220
commit 5ee19b0758
4 changed files with 26 additions and 117 deletions

View File

@@ -92,7 +92,7 @@ runs:
fi
if [[ "${{ inputs.build_type }}" == "debug" ]]; then
cov_prefix=(scripts/coverage "--profraw-prefix=$GITHUB_JOB" --dir=/tmp/neon/coverage run)
cov_prefix=(scripts/coverage "--profraw-prefix=$GITHUB_JOB" --dir=/tmp/coverage run)
elif [[ "${{ inputs.build_type }}" == "release" ]]; then
cov_prefix=()
fi