Skip to content

Fix cobertura to coverage_report

Given recent security fixes on GitLab, the keyword for coverage reports have evolved from the single key cobertura.

This MR addresses this issue.

Details about the problem can be found here:

Merge request reports