diff options
Diffstat (limited to 'Jenkinsfile')
-rw-r--r-- | Jenkinsfile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Jenkinsfile b/Jenkinsfile index 405b6c7b..0e8ca036 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -65,7 +65,7 @@ pipeline { } options { disableConcurrentBuilds() - timeout(time: 180, unit: 'MINUTES') + timeout(time: 240, unit: 'MINUTES') timestamps() buildDiscarder(logRotator(numToKeepStr: '20')) } |