Merge branch 'coverage' into 'master'

Fix coverage badge See merge request pycodegen/pystencils!311

Merge branch 'coverage' into 'master'
b3118294 · Markus Holzer · dad5b492 · 9dedaddc · b3118294
Commit b3118294 authored 2 years ago by Markus Holzer
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -27,6 +27,7 @@ tests-and-coverage:
    - docker
    - cuda11
    - AVX
+  coverage: /Total coverage:\s\d+.\d+\%/
  artifacts:
    when: always
    paths: