Skip to content
Snippets Groups Projects
Commit e6125146 authored by Dominik Thoennes's avatar Dominik Thoennes
Browse files

Merge branch 'adjust-coverage-flags' into 'master'

adjust coverage flags in CMakeLists.txt and fix coverage job in CI

See merge request !305
parents 01883ef2 16e3f96e
1 merge request!305Fix coverage generation
Pipeline #24991 passed with stages
in 4 hours, 36 minutes, and 23 seconds