From 5f24cadb7341810acfc76a2dbb3afe05ebabf770 Mon Sep 17 00:00:00 2001 From: Gerrit Meier Date: Thu, 17 Mar 2022 12:22:13 +0100 Subject: [PATCH] Increase build time to 60 minutes. --- Jenkinsfile | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/Jenkinsfile b/Jenkinsfile index 290e36c10..a487f3f60 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -28,7 +28,7 @@ pipeline { agent { label 'data' } - options { timeout(time: 30, 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: 30, 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: 30, unit: 'MINUTES') } + options { timeout(time: 60, unit: 'MINUTES') } environment { DOCKER_HUB = credentials("${p['docker.credentials']}")