Increase build time for verification build

Change-Id: I0cfb34d2a073fa2b2e5793e36f1a3e87f85ae126
Signed-off-by: Lars Vogel <Lars.Vogel@vogella.com>
Reviewed-on: https://git.eclipse.org/r/c/platform/eclipse.platform.ui/+/192347
diff --git a/Jenkinsfile b/Jenkinsfile
index e9177b6..4b8120f 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -1,6 +1,6 @@
 pipeline {
 	options {
-		timeout(time: 40, unit: 'MINUTES')
+		timeout(time: 60, unit: 'MINUTES')
 		buildDiscarder(logRotator(numToKeepStr:'5'))
 	}
 	agent {