tree 34c0f72957648f08ee189239163ac1607cc9b278
parent 01cea502cad96c0f4cf8fa02b81c89197a28040a
author Davide Pesavento <davidepesa@gmail.com> 1629755065 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1629954094 -0400

ci: use gcovr 5.0 to generate code coverage reports

Add badges to README.md

Change-Id: I7c5b2c6fc39654e4552c3ccfc11f2a2c0cdc4d34