Skip to content
Snippets Groups Projects
Commit 7b732d04 authored by Florian Bruhin's avatar Florian Bruhin
Browse files

ci: dirty workaround for GitLab CI and coverage

parent 60340447
No related branches found
No related tags found
No related merge requests found
Pipeline #301636 passed
Stage: lint
Stage: test
Stage: build