diff --git a/etc/jenkins/Jenkinsfile_ci_build b/etc/jenkins/Jenkinsfile_ci_build index 5cf0b4681c..3a0298b14a 100644 --- a/etc/jenkins/Jenkinsfile_ci_build +++ b/etc/jenkins/Jenkinsfile_ci_build @@ -2,7 +2,7 @@ pipeline { agent none options { - timeout(time: 30, activity: true, unit: 'MINUTES') + timeout(time: 30, activity: true, unit: 'HOURS') } stages { @@ -53,4 +53,4 @@ pipeline { } } } -} \ No newline at end of file +}