tree 82a85e48d352a59f980772e2f8f1dd6ee0c3860b
parent 8a8afa254ef2e277a313e2e07bae29571144f42e
author Davide Pesavento <davidepesa@gmail.com> 1742609282 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1742857554 -0400
gpgsig -----BEGIN SSH SIGNATURE-----
 U1NIU0lHAAAAAQAAADMAAAALc3NoLWVkMjU1MTkAAAAgUq1kTswyqVSwub8lqsj9jRjIUn
 OG0Hs5bGcrohWnIDgAAAADZ2l0AAAAAAAAAAZzaGE1MTIAAABTAAAAC3NzaC1lZDI1NTE5
 AAAAQAbAg/EPjA1gpqcwaHkar/wZZ3kj58mHudqFwVwJO9zHy5CYn2/PmwzJQHEJBea9Wc
 azWycqOyn6mQoFxukkxQQ=
 -----END SSH SIGNATURE-----

ci: use uv to install gcovr and sphinx

Change-Id: I560f2e32374e03be463c843823749de21bbe74f8