Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
hard coded ignore files which start with "mocs_compilation and delete…
… the corresponding gcda file, because otherwise our current coverage pipeline fails.
- Loading branch information