Compare commits

...

2 Commits

Author SHA1 Message Date
John Spray
b51c1d38f5 Merge branch 'main' into jcsp/no-coverage 2024-12-17 19:48:39 +00:00
John Spray
73f6d40310 don't run coverage on debug/x86_64 tests 2024-12-17 17:39:50 +00:00
2 changed files with 2 additions and 2 deletions

View File

@@ -169,7 +169,7 @@ runs:
fi
if [[ $BUILD_TYPE == "debug" && $RUNNER_ARCH == 'X64' ]]; then
cov_prefix=(scripts/coverage "--profraw-prefix=$GITHUB_JOB" --dir=/tmp/coverage run)
cov_prefix=()
else
cov_prefix=()
fi

View File

@@ -90,7 +90,7 @@ jobs:
run: |
CARGO_FEATURES="--features testing"
if [[ $BUILD_TYPE == "debug" && $ARCH == 'x64' ]]; then
cov_prefix="scripts/coverage --profraw-prefix=$GITHUB_JOB --dir=/tmp/coverage run"
cov_prefix=""
CARGO_FLAGS="--locked"
elif [[ $BUILD_TYPE == "debug" ]]; then
cov_prefix=""