Update coverage_report CI config (!121) · Merge requests · finesse / finesse3 · GitLab

Merged Duncan Macleod requested to merge duncanmmacleod/finesse3:fix-coverage_report into develop Jun 15, 2022

This MR updates the coverage_report CI configuration now that git.ligo.org is on GitLab 15, see https://docs.gitlab.com/15.0/ee/ci/yaml/artifacts_reports.html#artifactsreportscobertura-removed.