Merge pull request #30 from traeak/checkout_timeout
pipelines: set checkout timeout back to 10
diff --git a/jenkins/branch/autest.pipeline b/jenkins/branch/autest.pipeline
index b76331d..171b410 100644
--- a/jenkins/branch/autest.pipeline
+++ b/jenkins/branch/autest.pipeline
@@ -40,16 +40,16 @@
checkout([$class: 'GitSCM',
branches: [[name: branch]],
userRemoteConfigs: [[url: env.GITHUB_URL]],
- extensions: [[$class: 'CloneOption', timeout: 5]]]
- )
+ extensions: [[$class: 'CloneOption', timeout: 10]]
+ ])
} catch (error) {
echo "Clone failed, retry"
retry(2) {
checkout([$class: 'GitSCM',
branches: [[name: branch]],
userRemoteConfigs: [[url: env.GITHUB_URL]],
- extensions: [[$class: 'CloneOption', timeout: 5]]]
- )
+ extensions: [[$class: 'CloneOption', timeout: 10]]
+ ])
}
}
}
diff --git a/jenkins/branch/clang_analyzer.pipeline b/jenkins/branch/clang_analyzer.pipeline
index 5a19a10..52eac0b 100644
--- a/jenkins/branch/clang_analyzer.pipeline
+++ b/jenkins/branch/clang_analyzer.pipeline
@@ -45,16 +45,16 @@
checkout([$class: 'GitSCM',
branches: [[name: branch]],
userRemoteConfigs: [[url: env.GITHUB_URL]],
- extensions: [[$class: 'CloneOption', timeout: 5]]]
- )
+ extensions: [[$class: 'CloneOption', timeout: 10]]
+ ])
} catch (error) {
echo "Clone failed, retry"
retry(2) {
checkout([$class: 'GitSCM',
branches: [[name: branch]],
userRemoteConfigs: [[url: env.GITHUB_URL]],
- extensions: [[$class: 'CloneOption', timeout: 5]]]
- )
+ extensions: [[$class: 'CloneOption', timeout: 10]]
+ ])
}
}
}
diff --git a/jenkins/branch/clang_format.pipeline b/jenkins/branch/clang_format.pipeline
index ee03c94..0f499aa 100644
--- a/jenkins/branch/clang_format.pipeline
+++ b/jenkins/branch/clang_format.pipeline
@@ -44,16 +44,16 @@
checkout([$class: 'GitSCM',
branches: [[name: branch]],
userRemoteConfigs: [[url: env.GITHUB_URL]],
- extensions: [[$class: 'CloneOption', timeout: 5]]]
- )
+ extensions: [[$class: 'CloneOption', timeout: 10]]
+ ])
} catch (error) {
echo "Clone failed, retry"
retry(2) {
checkout([$class: 'GitSCM',
branches: [[name: branch]],
userRemoteConfigs: [[url: env.GITHUB_URL]],
- extensions: [[$class: 'CloneOption', timeout: 5]]]
- )
+ extensions: [[$class: 'CloneOption', timeout: 10]]
+ ])
}
}
}
diff --git a/jenkins/branch/coverage.pipeline b/jenkins/branch/coverage.pipeline
index f4e6b8f..5e17495 100644
--- a/jenkins/branch/coverage.pipeline
+++ b/jenkins/branch/coverage.pipeline
@@ -37,18 +37,18 @@
}
try {
checkout([$class: 'GitSCM',
- branches: [[name: branch]],
- userRemoteConfigs: [[url: env.GITHUB_URL]],
- extensions: [[$class: 'CloneOption', timeout: 5]]]
- )
+ branches: [[name: branch]],
+ userRemoteConfigs: [[url: env.GITHUB_URL]],
+ extensions: [[$class: 'CloneOption', timeout: 10]]
+ ])
} catch (error) {
echo "Clone failed, retry"
retry(2) {
checkout([$class: 'GitSCM',
branches: [[name: branch]],
userRemoteConfigs: [[url: env.GITHUB_URL]],
- extensions: [[$class: 'CloneOption', timeout: 5]]]
- )
+ extensions: [[$class: 'CloneOption', timeout: 10]]
+ ])
}
}
}
diff --git a/jenkins/branch/in_tree.pipeline b/jenkins/branch/in_tree.pipeline
index 3483492..17b56ce 100644
--- a/jenkins/branch/in_tree.pipeline
+++ b/jenkins/branch/in_tree.pipeline
@@ -48,16 +48,16 @@
checkout([$class: 'GitSCM',
branches: [[name: branch]],
userRemoteConfigs: [[url: env.GITHUB_URL]],
- extensions: [[$class: 'CloneOption', timeout: 5]]]
- )
+ extensions: [[$class: 'CloneOption', timeout: 10]]
+ ])
} catch (error) {
echo "Clone failed, retry"
retry(2) {
checkout([$class: 'GitSCM',
branches: [[name: branch]],
userRemoteConfigs: [[url: env.GITHUB_URL]],
- extensions: [[$class: 'CloneOption', timeout: 5]]]
- )
+ extensions: [[$class: 'CloneOption', timeout: 10]]
+ ])
}
}
}
diff --git a/jenkins/branch/os_build.pipeline b/jenkins/branch/os_build.pipeline
index f9622fb..93d444b 100644
--- a/jenkins/branch/os_build.pipeline
+++ b/jenkins/branch/os_build.pipeline
@@ -41,14 +41,16 @@
checkout([$class: 'GitSCM',
branches: [[name: branch]],
userRemoteConfigs: [[url: env.GITHUB_URL]],
- extensions: [[$class: 'CloneOption', timeout: 5]]])
+ extensions: [[$class: 'CloneOption', timeout: 10]]
+ ])
} catch (error) {
echo "Clone failed, retry"
retry(2) {
checkout([$class: 'GitSCM',
branches: [[name: branch]],
userRemoteConfigs: [[url: env.GITHUB_URL]],
- extensions: [[$class: 'CloneOption', timeout: 5]]])
+ extensions: [[$class: 'CloneOption', timeout: 10]]
+ ])
}
}
}
diff --git a/jenkins/branch/out_of_tree.pipeline b/jenkins/branch/out_of_tree.pipeline
index 7540cf0..cd598af 100644
--- a/jenkins/branch/out_of_tree.pipeline
+++ b/jenkins/branch/out_of_tree.pipeline
@@ -47,16 +47,16 @@
checkout([$class: 'GitSCM',
branches: [[name: branch]],
userRemoteConfigs: [[url: env.GITHUB_URL]],
- extensions: [[$class: 'CloneOption', timeout: 5]]]
- )
+ extensions: [[$class: 'CloneOption', timeout: 10]]
+ ])
} catch (error) {
echo "Clone failed, retry"
retry(2) {
checkout([$class: 'GitSCM',
branches: [[name: branch]],
userRemoteConfigs: [[url: env.GITHUB_URL]],
- extensions: [[$class: 'CloneOption', timeout: 5]]]
- )
+ extensions: [[$class: 'CloneOption', timeout: 10]]
+ ])
}
}
}
diff --git a/jenkins/branch/rat.pipeline b/jenkins/branch/rat.pipeline
index 4bc46b8..0f6aad9 100644
--- a/jenkins/branch/rat.pipeline
+++ b/jenkins/branch/rat.pipeline
@@ -45,16 +45,16 @@
checkout([$class: 'GitSCM',
branches: [[name: branch]],
userRemoteConfigs: [[url: env.GITHUB_URL]],
- extensions: [[$class: 'CloneOption', timeout: 5]]]
- )
+ extensions: [[$class: 'CloneOption', timeout: 10]]
+ ])
} catch (error) {
echo "Clone failed, retry"
retry(2) {
checkout([$class: 'GitSCM',
branches: [[name: branch]],
userRemoteConfigs: [[url: env.GITHUB_URL]],
- extensions: [[$class: 'CloneOption', timeout: 5]]]
- )
+ extensions: [[$class: 'CloneOption', timeout: 10]]
+ ])
}
}
}