From e3b6ce1ad18c717c5430b7c531effd382096db31 Mon Sep 17 00:00:00 2001
From: Gabriele C <sgdc3.mail@gmail.com>
Date: Wed, 18 Jul 2018 13:17:41 +0200
Subject: [PATCH] Test build

---
 Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 791f7bbd1..bc043f6ad 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -4,7 +4,7 @@ pipeline {
     }
 
     options {
-        timeout(time: 5, unit: 'MINUTES')
+        timeout(time: 6, unit: 'MINUTES')
         timestamps()
     }