Skip to content
This repository was archived by the owner on Jan 30, 2026. It is now read-only.

coverage: Use ninja instead of gcovr#18

Open
glimchb wants to merge 1 commit intoBSFishy:masterfrom
glimchb:master
Open

coverage: Use ninja instead of gcovr#18
glimchb wants to merge 1 commit intoBSFishy:masterfrom
glimchb:master

Commits

Commits on Mar 24, 2022