Merge branch 'fix-coverage' into 'master'

Fixing the coverage not being interpreted by gitlab

See merge request !309

bob/devtools/data/gitlab-ci/single-package.yaml

@@ -43,6 +43,7 @@ stages:
   script:
     - bdt ci build -vv
     - bdt ci clean -vv
+  coverage: '/(?i)total.*? (100(?:\.0+)?\%|[1-9]?\d(?:\.\d+)?\%)$/'
   artifacts:
     expire_in: 1 week
     reports: