chiark / gitweb /
~ianmdlvl / fdroidserver.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 089712c) | patch
gitlab-ci: try to download PPA keys until they succeed
authorHans-Christoph Steiner <hans@eds.org>
Thu, 22 Feb 2018 09:27:10 +0000 (10:27 +0100)
committerHans-Christoph Steiner <hans@eds.org>
Thu, 22 Feb 2018 14:08:54 +0000 (15:08 +0100)
commit0e9252db371eb53c844cfa8440f6e1c9a4754cf0
tree143a06ed804ea1e92bf50bbe00d83ae7d2ece948tree | snapshot
parent089712c01292084795014187f4afeb4c49306242commit | diff
gitlab-ci: try to download PPA keys until they succeed

This download occasionally fails, so this keeps retrying till it succeeds.
The CI job has a time limit, so no need to figure out an exit condition.
.gitlab-ci.yml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.