tree 539aad55199793a2485c2de4282c8fa6503c8fb4
parent 35488926c74fdb965900e4f0a7cbc0016f085185
author Davide Pesavento <davidepesa@gmail.com> 1742882534 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1742882534 -0400
gpgsig -----BEGIN SSH SIGNATURE-----
 U1NIU0lHAAAAAQAAADMAAAALc3NoLWVkMjU1MTkAAAAgUq1kTswyqVSwub8lqsj9jRjIUn
 OG0Hs5bGcrohWnIDgAAAADZ2l0AAAAAAAAAAZzaGE1MTIAAABTAAAAC3NzaC1lZDI1NTE5
 AAAAQGEiPrbfv5NEAeebyFtD28fR9SuUK4ef7gEHLRS9j/N0C1elmrgMl/UyVM9ggYDGff
 08GQTmoZUJzUqTIaibdwY=
 -----END SSH SIGNATURE-----

ci: use uv to install gcovr and sphinx

Change-Id: Ic62e62af43921f915fd07aea0d8e68d6ff153d88