Change the owner of gcda files to the current user

This commit is contained in:
xxyzz 2022-02-20 19:15:48 +08:00
parent fe8910350c
commit 744592e221
No known key found for this signature in database
GPG key ID: F796163E6DCFEE9D

View file

@ -261,6 +261,7 @@ jobs:
COVERAGE_REPORT_DIR="target/debug"
COVERAGE_REPORT_FILE="${COVERAGE_REPORT_DIR}/lcov.info"
mkdir -p "${COVERAGE_REPORT_DIR}"
sudo chown -R "$(whoami)" "${COVERAGE_REPORT_DIR}"
# display coverage files
grcov . --output-type files --ignore build.rs --ignore "vendor/*" --ignore "/*" --ignore "[a-zA-Z]:/*" --excl-br-line "^\s*((debug_)?assert(_eq|_ne)?!|#\[derive\()" | sort --unique
# generate coverage report