From 3a6655f8f31cbd4869088e564d863e701e023dbc Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jakub=20Soko=C5=82owski?= Date: Thu, 2 Jul 2020 18:35:24 +0200 Subject: [PATCH] ci: bump timeouts from 10 to 15 minutes MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Jakub SokoĊ‚owski --- ci/Jenkinsfile.linux | 2 +- ci/Jenkinsfile.macos | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/ci/Jenkinsfile.linux b/ci/Jenkinsfile.linux index 14fae74a13..1db0262844 100644 --- a/ci/Jenkinsfile.linux +++ b/ci/Jenkinsfile.linux @@ -11,7 +11,7 @@ pipeline { options { timestamps() /* Prevent Jenkins jobs from running forever */ - timeout(time: 10, unit: 'MINUTES') + timeout(time: 15, unit: 'MINUTES') /* manage how many builds we keep */ buildDiscarder(logRotator( numToKeepStr: '20', diff --git a/ci/Jenkinsfile.macos b/ci/Jenkinsfile.macos index 6caaece450..29acd255d1 100644 --- a/ci/Jenkinsfile.macos +++ b/ci/Jenkinsfile.macos @@ -6,7 +6,7 @@ pipeline { options { timestamps() /* Prevent Jenkins jobs from running forever */ - timeout(time: 10, unit: 'MINUTES') + timeout(time: 15, unit: 'MINUTES') /* manage how many builds we keep */ buildDiscarder(logRotator( numToKeepStr: '20',