This MR adds a coverage CI job to aggregate the coverage reports from all of the test jobs, which is much better than gitlab's naive mean average calculation.
coverage