Verified Commit c173a8b0 authored by David Runge's avatar David Runge
Browse files

Fix coverage reporting with gitlab CI

Remove legacy keyword 'cobertura' and use the gitlab >= 15 based
`coverage_report` which is used to specify format and path to coverage
parent eab15c07
Pipeline #20194 passed with stage
in 1 minute and 31 seconds