commit 09d5662f2a239420d1800603215e4cd55d5ba259
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

ci: use gcovr 5.0 to generate code coverage reports

Add badges to README.md

Change-Id: I7c5b2c6fc39654e4552c3ccfc11f2a2c0cdc4d34

.jenkins.d/00-deps.sh

diff --git a/.jenkins.d/00-deps.sh b/.jenkins.d/00-deps.sh
index c021e54..90f7bb4 100755
--- a/.jenkins.d/00-deps.sh
+++ b/.jenkins.d/00-deps.sh
@@ -37,7 +37,8 @@
 
     case $JOB_NAME in
         *code-coverage)
-            sudo apt-get -qy install gcovr lcov
+            sudo apt-get -qy install lcov python3-pip
+            pip3 install --user --upgrade --upgrade-strategy=eager 'gcovr~=5.0'
             ;;
         *Docs)
             sudo apt-get -qy install doxygen graphviz python3-pip