Revert "Bump gcovr from 5.0 to 7.2 in /.ci" This reverts commit 58c6dba9cd523668d80d417131786e660f0418ef.
2024-02-26T16:08:45