diff --git a/Jenkinsfile b/Jenkinsfile index d89a945e6e..6ad4f7d459 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -18,7 +18,7 @@ node('docker') { ]) ]) - timeout(activity: true, time: 30, unit: 'MINUTES') { + timeout(activity: true, time: 40, unit: 'MINUTES') { catchError {