commit ee3ebebf00b513205a1e2870a229058f4c2a7f45
author Davide Pesavento <davidepesa@gmail.com> Fri Mar 21 22:08:02 2025 -0400
committer Davide Pesavento <davidepesa@gmail.com> Mon Mar 24 19:05:54 2025 -0400
tree 82a85e48d352a59f980772e2f8f1dd6ee0c3860b
parent 8a8afa254ef2e277a313e2e07bae29571144f42e

ci: use uv to install gcovr and sphinx

Change-Id: I560f2e32374e03be463c843823749de21bbe74f8

.jenkins.d/10-build.sh

diff --git a/.jenkins.d/10-build.sh b/.jenkins.d/10-build.sh
index 5132317..347242f 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 [[ -n $GITHUB_ACTIONS && $ID == macos && ${VERSION_ID%%.*} -le 12 ]]; then
+if [[ -n $GITHUB_ACTIONS && $ID == macos && ${VERSION_ID%%.*} -le 13 ]]; then
     KEYCHAIN="--with-osx-keychain"
 fi
 
 set -x
 
-if [[ $JOB_NAME != *"code-coverage" && $JOB_NAME != *"limited-build" ]]; then
+if [[ $JOB_NAME != *code-coverage && $JOB_NAME != *limited-build ]]; then
     # Build static library in release mode with tests and without precompiled headers
     ./waf --color=yes configure --enable-static --disable-shared --with-tests --without-pch
     ./waf --color=yes build
@@ -26,7 +26,7 @@
     ./waf --color=yes distclean
 fi
 
-if [[ $JOB_NAME == *"code-coverage" ]]; then
+if [[ $JOB_NAME == *code-coverage ]]; then
     # Build for coverage testing: enable instrumentation and unit tests only
     ./waf --color=yes configure --debug --with-coverage --with-unit-tests --without-tools
     ./waf --color=yes build