tree c1d862677d3ed3f237ffab0735c5c0c6df4bcf5c
parent e34231e0786ab9486d0e6f663276bef2e59800b0
author Davide Pesavento <davidepesa@gmail.com> 1742932212 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1742932212 -0400
gpgsig -----BEGIN SSH SIGNATURE-----
 U1NIU0lHAAAAAQAAADMAAAALc3NoLWVkMjU1MTkAAAAgUq1kTswyqVSwub8lqsj9jRjIUn
 OG0Hs5bGcrohWnIDgAAAADZ2l0AAAAAAAAAAZzaGE1MTIAAABTAAAAC3NzaC1lZDI1NTE5
 AAAAQGQtdqQUxp7rwqEQzL2LGNZA8hJKO72Zd8Qn3D3sUYR2b4tYHfcE8+Fuh2NFBwixuT
 CtE5JEMU+a1dBHrGKUvgw=
 -----END SSH SIGNATURE-----

ci: use uv to install gcovr

Change-Id: I620db9dd1a85d8839a222f6a611f903d1b6c4058