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 /build-aux | |
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 'build-aux')
0 files changed, 0 insertions, 0 deletions