Skip to content

ci: Run coverage target by default

Carlos Garnacho requested to merge wip/carlosg/coverage-by-default into master

We're just a "ninja coverage" away from getting the full report, it is not that much extra to the pipeline. Also, fix bugs that accumulated since the manual task was added, e.g. let the full built+tested tree available on the coverity stage.

Merge request reports