diff --git a/build/Jenkinsfile b/build/Jenkinsfile index e009737d1342..230089c7d15b 100644 --- a/build/Jenkinsfile +++ b/build/Jenkinsfile @@ -2,7 +2,10 @@ pipeline { - options { buildDiscarder(logRotator(numToKeepStr: '2')) } + options { + buildDiscarder(logRotator(numToKeepStr: '2')) + timeout(time: 1, unit: 'HOURS') + } agent { docker {