Commit 96b7c17a authored by Andreas Marek's avatar Andreas Marek

Gitlab CI: add correct flags for coverage

parent e40f56c1