]> git.apps.os.sepia.ceph.com Git - ceph-build.git/commitdiff
Merge pull request #1272 from ceph/guits-add_build_retry
authorGuillaume Abrioux <gabrioux@redhat.com>
Tue, 2 Apr 2019 12:05:37 +0000 (14:05 +0200)
committerGitHub <noreply@github.com>
Tue, 2 Apr 2019 12:05:37 +0000 (14:05 +0200)
ceph-ansible-prs: retry on CI errors


Trivial merge