Skip to content

Use gcovr instead of lcov in GitHub CI job#27

Merged
msteinert merged 1 commit into
mainfrom
gcovr-workflow
Aug 20, 2025
Merged

Use gcovr instead of lcov in GitHub CI job#27
msteinert merged 1 commit into
mainfrom
gcovr-workflow

Commits

Commits on Aug 20, 2025