Fix display of coverage in Gitlab
This is the same fix that @thoennes made in walberla/walberla!573 (merged) and also the same as pystencils!310 (merged).
Edited by Michael Kuron
This is the same fix that @thoennes made in walberla/walberla!573 (merged) and also the same as pystencils!310 (merged).
assigned to @holzer
changed the description
approved this merge request
merged
mentioned in commit 1c008ce4