diff options
author | Benjamin Berg <bberg@redhat.com> | 2019-02-05 14:24:53 +0100 |
---|---|---|
committer | Benjamin Berg <bberg@redhat.com> | 2019-02-05 14:45:16 +0100 |
commit | 81a5e3840861ff9db39538f058baa95a2c0a3562 (patch) | |
tree | 86549803d79678170d84c9e128245ecca9dd1687 /.gitlab-ci.yml | |
parent | 9d4c208fda2a8a5fa3f7d40813c79f75caed8a9f (diff) | |
download | gnome-settings-daemon-81a5e3840861ff9db39538f058baa95a2c0a3562.tar.gz |
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.
Diffstat (limited to '.gitlab-ci.yml')
-rw-r--r-- | .gitlab-ci.yml | 2 |
1 files changed, 2 insertions, 0 deletions
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+\%)/' |