Skip to content

BUG: fix coverage reporting

David-Leon Pohl requested to merge fix_coverage_reporting into development

print to terminal was forgotten

Merge request reports