Increase build time to 60 minutes.

Jenkins seems to get slower.
This commit is contained in:
Gerrit Meier
2022-03-17 12:18:59 +01:00
parent 01e50cb72b
commit 4f96ddcb58

6
Jenkinsfile vendored
View File

@@ -28,7 +28,7 @@ pipeline {
agent {
label 'data'
}
options { timeout(time: 45, unit: 'MINUTES') }
options { timeout(time: 60, unit: 'MINUTES') }
environment {
DOCKER_HUB = credentials("${p['docker.credentials']}")
@@ -60,7 +60,7 @@ pipeline {
agent {
label 'data'
}
options { timeout(time: 45, unit: 'MINUTES') }
options { timeout(time: 60, unit: 'MINUTES') }
environment {
DOCKER_HUB = credentials("${p['docker.credentials']}")
@@ -84,7 +84,7 @@ pipeline {
agent {
label 'data'
}
options { timeout(time: 45, unit: 'MINUTES') }
options { timeout(time: 60, unit: 'MINUTES') }
environment {
DOCKER_HUB = credentials("${p['docker.credentials']}")