[gnome-settings-daemon/wip/claudio/CI: 5/5] CI: Allow coverage to fail

[Benjamin Berg <bberg src gnome org>]

commit 81a5e3840861ff9db39538f058baa95a2c0a3562
Author: Benjamin Berg <bberg redhat com>
Date:   Tue Feb 5 14:24:53 2019 +0100

    CI: Allow coverage to fail
    
    It appears to be broken currently on rawhide. Assume that this is just
    an intermitten failure and hope it will just start working eventually.

 .gitlab-ci.yml | 2 ++
 1 file changed, 2 insertions(+)
---
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 109e459e..32841fcb 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -97,6 +97,8 @@ test:
 coverage:
   <<: *save_build_logs
   stage: test
+  # Appears to be broken on Fedora Rawhide as of 2018-02-05
+  allow_failure: true
   variables:
     BUILD_OPTS: "-Db_coverage=true"
     coverage: '/^Lines:.\d+.\d+.(\d+\.\d+\%)/'