tree ce98b3eb3359107a8c5ca6b6f7a554f5f4ff39c0
parent 4b465b56bfc06aa060bfba8ba0031e21eb51b8bf
author Davide Pesavento <davidepesa@gmail.com> 1742879730 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1742879730 -0400
gpgsig -----BEGIN SSH SIGNATURE-----
 U1NIU0lHAAAAAQAAADMAAAALc3NoLWVkMjU1MTkAAAAgUq1kTswyqVSwub8lqsj9jRjIUn
 OG0Hs5bGcrohWnIDgAAAADZ2l0AAAAAAAAAAZzaGE1MTIAAABTAAAAC3NzaC1lZDI1NTE5
 AAAAQArta741TFiVjTyskF6RZm6MB9/XDCFMZisRAwg4m2dRB2QD7BGX73llZukTFnTvqz
 0kwbKQ+sREhsoFEVMobw8=
 -----END SSH SIGNATURE-----

ci: use uv to install gcovr and sphinx

Change-Id: I1f04e20ef45f7352fddd4fdad7b7c418721a59ec