tree a3bed3cbcdda7aa7c9d375e6cadbbd50b2236692
parent 90a632b673cde41a18c57bd4bfb120e22053f75d
author Davide Pesavento <davidepesa@gmail.com> 1636240403 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1636240403 -0400

ci: generate detailed code coverage report via gcovr

Change-Id: I41022928b778acdbe4319a2808cf5b3db337a2fa