Merge branch '44-use-coverage-generator' into 'dev'
Passed
René Schöne
created pipeline for commit e96e61b6
, finished
1 related merge request: !19 dev to master
5 minutes 40 seconds, queued for 1 seconds