From 4f96ddcb582c30ea818ace08d8b84ad2f48a2934 Mon Sep 17 00:00:00 2001 From: Gerrit Meier Date: Thu, 17 Mar 2022 12:18:59 +0100 Subject: [PATCH] Increase build time to 60 minutes. Jenkins seems to get slower. --- Jenkinsfile | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/Jenkinsfile b/Jenkinsfile index 3f6439e45..df883a94f 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -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']}")