Fix coverage badge
Passed
Michael Kuron
created pipeline for commit
fd5ba3c2
, finished
1 related merge request: !136 Fix coverage badge
104 minutes 0 seconds, queued for 1 seconds