Increase build time to 60 minutes.

meistermeier · meistermeier · commit 50475462d627 · 2022-03-17T12:21:18.000+01:00
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -29,7 +29,7 @@ pipeline {
 			agent {
 				label 'data'
 			}
-			options { timeout(time: 45, unit: 'MINUTES') }
+			options { timeout(time: 60, unit: 'MINUTES') }
 
 			environment {
 				DOCKER_HUB = credentials("${p['docker.credentials']}")

Original file line number	Diff line number	Diff line change
`@@ -29,7 +29,7 @@ pipeline {`
`29`	`29`	`agent {`
`30`	`30`	`label 'data'`
`31`	`31`	`}`
`32`		`- options { timeout(time: 45, unit: 'MINUTES') }`
	`32`	`+ options { timeout(time: 60, unit: 'MINUTES') }`
`33`	`33`
`34`	`34`	`environment {`
`35`	`35`	`DOCKER_HUB = credentials("${p['docker.credentials']}")`