extend ci deadline

apache · Aug 14, 2019 · 9189095 · 9189095
1 parent 9c428ba
commit 9189095
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/ci/jenkins/Jenkinsfile_unix_cpu b/ci/jenkins/Jenkinsfile_unix_cpu
@@ -21,7 +21,7 @@
 // See documents at https://jenkins.io/doc/book/pipeline/jenkinsfile/
 
 // timeout in minutes
-max_time = 180
+max_time = 240
 
 node('utility') {
   // Loading the utilities requires a node context unfortunately