CI fails with configuration error
See https://gitlab.dune-project.org/pdelab/dune-pdelab/-/pipelines/52325
Found errors in your .gitlab-ci.yml:
jobs:debian:10--gcc:artifacts:reports config contains unknown keys: cobertura
See https://gitlab.dune-project.org/pdelab/dune-pdelab/-/pipelines/52325
Found errors in your .gitlab-ci.yml:
jobs:debian:10--gcc:artifacts:reports config contains unknown keys: cobertura