coverage: print summary and generate cobertura report (!307) · Merge requests · waLBerla / waLBerla · GitLab

Michael Kuron requested to merge adjust-coverage-flags into master Jul 04, 2020

From the summary, GitLab can extract the coverage percentage. From the XML file, it can generate its own visualization (see https://docs.gitlab.com/ee/user/project/merge_requests/test_coverage_visualization.html).

Related: !305 (merged).