Skip to content

Switch codecov from gcovr to gcov#7

Merged
Bronek merged 1 commit intomainfrom feature/switch_codecov_from_gcovr_to_gcovApr 16, 2024

Commits

Commits on Apr 16, 2024