| commit | 09d5662f2a239420d1800603215e4cd55d5ba259 | [log] [tgz] |
|---|---|---|
| author | Davide Pesavento <davidepesa@gmail.com> | Mon Aug 23 17:44:25 2021 -0400 |
| committer | Davide Pesavento <davidepesa@gmail.com> | Thu Aug 26 01:01:34 2021 -0400 |
| tree | 34c0f72957648f08ee189239163ac1607cc9b278 | |
| parent | 01cea502cad96c0f4cf8fa02b81c89197a28040a [diff] [blame] |
ci: use gcovr 5.0 to generate code coverage reports Add badges to README.md Change-Id: I7c5b2c6fc39654e4552c3ccfc11f2a2c0cdc4d34
diff --git a/.jenkins b/.jenkins index 1a12b6c..21cce49 100755 --- a/.jenkins +++ b/.jenkins
@@ -2,6 +2,9 @@ set -e source .jenkins.d/util.sh +if has Linux $NODE_LABELS; then + export PATH="~/.local/bin${PATH:+:}${PATH}" +fi export CACHE_DIR=${CACHE_DIR:-/tmp} export WAF_JOBS=${WAF_JOBS:-1} [[ $JOB_NAME == *"code-coverage" ]] && export DISABLE_ASAN=yes