tree 8124708c4e5ee370bdaccd13a5c17cf4b363ea90
parent 4d030c3896b1db6fa0b6cb04c4f1b20d95955038
author Davide Pesavento <davidepesa@gmail.com> 1630377635 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1630377635 -0400

ci: use gcovr 5.0 to generate code coverage reports

Change-Id: Ib7284d1616f9bce527aa98ccbb32e58d0bfa9dfb