tree d25cb0c3eaeef9faf096c8751ba921c32030b457
parent 51189595bdab97ae6704407bf63f67ff7bff0ed9
author Davide Pesavento <davidepesa@gmail.com> 1636142924 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1636142924 -0400

ci: add code coverage reporting via gcovr

Change-Id: I246bb21b55c40182184f849dedd27be81be202b1