Skip to content

ci/coverage: use json summary and upload html details#1139

Merged
sreimers merged 3 commits intomainfrom gcovJun 7, 2024