Merge branch 'update-gitlab' into 'develop'

Prepare transition to GitLab 15 coverage parsing

See merge request !142

.gitlab-ci/gcc10-mpi-coverage.yml

@@ -12,3 +12,4 @@ coverage:gcc10-mpi-coverage:
     paths:
       - build/gcc10-cov-mpi
     untracked: true
+  coverage: '/^\s*Total:\|(\d*\.\d|\d*)\%.*$/'

.gitlab-ci/gcc10-seq-coverage.yml

@@ -12,3 +12,4 @@ coverage:gcc10-seq-coverage:
     paths:
       - build/gcc10-cov
     untracked: true
+  coverage: '/^\s*Total:\|(\d*\.\d|\d*)\%.*$/'