tree 54e28766dd5d0cb1e5d82e07596f4556898d2601
parent c4343232bc03d101da57aa807bc1bd961f74c400
author Davide Pesavento <davidepesa@gmail.com> 1630365036 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1630365036 -0400

ci: use gcovr 5.0 to generate code coverage reports

Change-Id: I680b476bb93cffff389071437e7a818f16b6334d