diff --git a/Jenkinsfile.premerge b/Jenkinsfile.premerge index 63544a8b1..ed3f7cf82 100644 --- a/Jenkinsfile.premerge +++ b/Jenkinsfile.premerge @@ -8,7 +8,7 @@ pipeline { } } options { - timeout(time: 40, unit: 'MINUTES') + timeout(time: 4, unit: 'HOURS') skipDefaultCheckout(true) } environment { diff --git a/Jenkinsfile.public b/Jenkinsfile.public index 5bea8bc45..e7a3ef34e 100644 --- a/Jenkinsfile.public +++ b/Jenkinsfile.public @@ -8,7 +8,7 @@ pipeline { } } options { - timeout(time: 40, unit: 'MINUTES') + timeout(time: 4, unit: 'HOURS') skipDefaultCheckout(true) } environment {