The source project of this merge request has been removed.
ci: add coverage analysis
This makes it possible to store code coverage information and display it through badges (which can be added on the Gitlab project as well).
This makes it possible to store code coverage information and display it through badges (which can be added on the Gitlab project as well).