tree 4e59785d04a60cd64df3ae265a2bdd808dbfc8d0
parent 7bc3d438e74a509ac0a46690c20c14280973ceda
author Davide Pesavento <davidepesa@gmail.com> 1636241881 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1636241881 -0400

ci: add code coverage reporting via gcovr

Change-Id: Idc442d4e960360f0c82bcfda0bc8c97004b5d0aa