From ab5a0b307db9b1ac135b593516bb5177eceb719f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Christian=20K=C3=BChnel?= <kuhnel@google.com>
Date: Fri, 8 May 2020 15:45:16 +0200
Subject: [PATCH] extending timeout to 30 minutes

Deleting branches is slower than I expected...
---
 Jenkins/daily-cleanup/Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Jenkins/daily-cleanup/Jenkinsfile b/Jenkins/daily-cleanup/Jenkinsfile
index cb68021..a2c7f4a 100644
--- a/Jenkins/daily-cleanup/Jenkinsfile
+++ b/Jenkins/daily-cleanup/Jenkinsfile
@@ -28,7 +28,7 @@ pipeline {
             SCRIPT_DIR = "${WORKSPACE}/llvm-premerge-checks/scripts"
     }
     options {
-        timeout(time:10, unit:'MINUTES')
+        timeout(time:30, unit:'MINUTES')
     }
     stages {
         stage("git checkout"){