diff --git a/bob/devtools/data/gitlab-ci/single-package.yaml b/bob/devtools/data/gitlab-ci/single-package.yaml index 88861f78d40a2e2d895f5aa67c8480cd185e4257..243b52ce7627af45e1d3c4b4aefb6005826df1ed 100644 --- a/bob/devtools/data/gitlab-ci/single-package.yaml +++ b/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: