Enabling cobertura

I confirm. Here’s the latest master pipeline uploading coverage report, and here the MR pipeline.

I double-checked in the console that the feature flag is enabled, and the diff seems to show no coverage.

Relevant exerpt from .gitlab-ci.yml (junit does work):

    reports:
      cobertura: cov.xml
      junit: tests.xml