diff --git a/Jenkinsfile b/Jenkinsfile index 791f7bbd1..bc043f6ad 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -4,7 +4,7 @@ pipeline { } options { - timeout(time: 5, unit: 'MINUTES') + timeout(time: 6, unit: 'MINUTES') timestamps() }