tree f40746ab8948a986d6051096be02552dbbd4f076
parent e11fa9a0175bea38c35899c3d4d901928c49fb50
author Davide Pesavento <davidepesa@gmail.com> 1742883525 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1742883525 -0400
gpgsig -----BEGIN SSH SIGNATURE-----
 U1NIU0lHAAAAAQAAADMAAAALc3NoLWVkMjU1MTkAAAAgUq1kTswyqVSwub8lqsj9jRjIUn
 OG0Hs5bGcrohWnIDgAAAADZ2l0AAAAAAAAAAZzaGE1MTIAAABTAAAAC3NzaC1lZDI1NTE5
 AAAAQDS+0VrzlyTfCONlUXmMnepyxjCLJ1pNYP15v7vg+k55sTCA3pIfc2Xw1cnbBR5/Tq
 Ry415MtJt4CzbSy0uytAg=
 -----END SSH SIGNATURE-----

ci: use uv to install gcovr and sphinx

Change-Id: If41dc0b522c70f462b62c34f54c40f73c39565b1