Increase timeout also for docs

apache · Jan 10, 2019 · 14f5960 · 14f5960
1 parent 027bfd4
commit 14f5960
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/Jenkinsfile b/docs/Jenkinsfile
@@ -21,7 +21,7 @@
 // See documents at https://jenkins.io/doc/book/pipeline/jenkinsfile/
 
 // timeout in minutes
-max_time = 120
+max_time = 180
 
 node('restricted-utility') {
  // Loading the utilities requires a node context unfortunately