Improve CI coverage reporting
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.
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.