Skip to content

build: guard --coverage linker flag behind CODE_COVERAGE_ENABLED#74

Merged
zandbelt merged 1 commit intoOpenIDC:masterfrom
kraj:kraj/coverage-fix
Apr 18, 2026
Merged

build: guard --coverage linker flag behind CODE_COVERAGE_ENABLED#74
zandbelt merged 1 commit intoOpenIDC:masterfrom
kraj:kraj/coverage-fix

Commits

Commits on Apr 17, 2026