diff options
| author | Holger Levsen <holger@layer-acht.org> | 2017-10-01 13:07:41 +0200 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2017-10-01 13:07:41 +0200 |
| commit | abaf2352cc2ed39187b96033a33d739ac8dff6f6 (patch) | |
| tree | 38ba35670898895d8554e2b6091fc9cac9a1c38a | |
| parent | 9920c6ed1df3baf433f1764553885180ec956c7b (diff) | |
| download | jenkins.debian.net-abaf2352cc2ed39187b96033a33d739ac8dff6f6.tar.xz | |
edu-packages tests: also retry when '^ERROR: Error cloning remote repo' is hit (but only retry 3 times, not 5)
Signed-off-by: Holger Levsen <holger@layer-acht.org>
| -rw-r--r-- | job-cfg/edu-packages.yaml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/job-cfg/edu-packages.yaml b/job-cfg/edu-packages.yaml index f9e913c2..a58a5564 100644 --- a/job-cfg/edu-packages.yaml +++ b/job-cfg/edu-packages.yaml @@ -36,8 +36,8 @@ - naginator: progressive-delay-increment: 5 progressive-delay-maximum: 15 - max-failed-builds: 5 - regular-expression: 'Caused by: hudson.plugins.git.GitException: Command "git fetch' + max-failed-builds: 3 + regular-expression: '(Caused by: hudson.plugins.git.GitException: Command "git fetch|^ERROR: Error cloning remote repo)' - job-template: |