Fix coverage badge
Passed
Michael Kuron
created pipeline for commit
9dedaddc
, finished
1 related merge request: !311 Fix coverage badge
16 minutes 2 seconds, queued for 1 seconds