commit 0771dc55eb5e3c2d548240034c7f2dec5799917c
author Davide Pesavento <davidepesa@gmail.com> Tue Mar 25 01:15:30 2025 -0400
committer Davide Pesavento <davidepesa@gmail.com> Tue Mar 25 01:15:30 2025 -0400
tree ce98b3eb3359107a8c5ca6b6f7a554f5f4ff39c0
parent 4b465b56bfc06aa060bfba8ba0031e21eb51b8bf

ci: use uv to install gcovr and sphinx

Change-Id: I1f04e20ef45f7352fddd4fdad7b7c418721a59ec

.jenkins.d/10-build.sh

diff --git a/.jenkins.d/10-build.sh b/.jenkins.d/10-build.sh
index 3bcfe44..9cc4c78 100755
--- a/.jenkins.d/10-build.sh
+++ b/.jenkins.d/10-build.sh
@@ -4,13 +4,13 @@
 if [[ -z $DISABLE_ASAN ]]; then
     ASAN="--with-sanitizer=address"
 fi
-if [[ $JOB_NAME == *"code-coverage" ]]; then
+if [[ $JOB_NAME == *code-coverage ]]; then
     COVERAGE="--with-coverage"
 fi
 
 set -x
 
-if [[ $JOB_NAME != *"code-coverage" && $JOB_NAME != *"limited-build" ]]; then
+if [[ $JOB_NAME != *code-coverage && $JOB_NAME != *limited-build ]]; then
     # Build in release mode with tests
     ./waf --color=yes configure --with-tests
     ./waf --color=yes build