tree 3efe74a937fdb4e4ce05395c2b11ecbbf5636710
parent 28f045a07ee4bd3bd41c19f9ecafe65628a3f6bc
author Davide Pesavento <davidepesa@gmail.com> 1742875684 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1742875684 -0400
gpgsig -----BEGIN SSH SIGNATURE-----
 U1NIU0lHAAAAAQAAADMAAAALc3NoLWVkMjU1MTkAAAAgUq1kTswyqVSwub8lqsj9jRjIUn
 OG0Hs5bGcrohWnIDgAAAADZ2l0AAAAAAAAAAZzaGE1MTIAAABTAAAAC3NzaC1lZDI1NTE5
 AAAAQM0S8PpxScnn1VzKADKmew6KlKmUuMTm/O5rSS8OhnCQ9efPHn1yon8ranu1x50XP7
 thYzf1q4vkRpCvwmdhjw0=
 -----END SSH SIGNATURE-----

ci: use uv to install gcovr and sphinx

Change-Id: I2bc4459262e4b490ac61d4eccf335eaa50acc0d7