Commit 48334540 authored by Martin Reinecke's avatar Martin Reinecke

put coverage output back in; I think we need it for updating the 'coverage' button

parent f44fef75
Pipeline #28272 passed with stages
in 2 minutes and 38 seconds