diff options
| author | Dario Lombardo <lomato@gmail.com> | 2017-12-18 10:35:13 +0100 |
|---|---|---|
| committer | Dario Lombardo <lomato@gmail.com> | 2017-12-20 08:34:28 +0000 |
| commit | 3181888797b39fb5e0026bd613390f8f7eb0658f (patch) | |
| tree | 176e8a7c025397fbb2d524daf8add394b73ad1f1 /Vagrantfile | |
| parent | d0d15ef5df75bec136c3d3cf2b76a9b4de5d436d (diff) | |
gitlab-ci: add retry.
Due to some network failures, add a retry to all jobs.
Change-Id: Ic7737db3348b5e43a30680a7f8e7c2e3850116c3
Reviewed-on: https://code.wireshark.org/review/24903
Reviewed-by: Dario Lombardo <lomato@gmail.com>
Diffstat (limited to 'Vagrantfile')
0 files changed, 0 insertions, 0 deletions