CI: report code coverage (!55) · Merge requests · GNOME / Files · GitLab

The source project of this merge request has been removed.

Ghost User requested to merge (removed):coverage into master Jan 07, 2018

The results will be a bit disappointing. :p