Increase Jenkins timeout to 60 minutes

Should reduce the amount of timeouting builds like https://ci.eclipse.org/jdt/job/eclipse.jdt.ui-github/job/PR-1479/ .
eclipse-jdt · Jun 27, 2024 · 6146de3 · 6146de3
1 parent 5162902
commit 6146de3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -1,6 +1,6 @@
 pipeline {
 	options {
-		timeout(time: 40, unit: 'MINUTES')
+		timeout(time: 60, unit: 'MINUTES')
 		buildDiscarder(logRotator(numToKeepStr:'5'))
 		disableConcurrentBuilds(abortPrevious: true)
 		timestamps()