ska-sa
diff --git a/‎Jenkinsfile‎
Lines changed: 1 addition & 1 deletion b/‎Jenkinsfile‎
Lines changed: 1 addition & 1 deletion
@@ -140,7 +140,7 @@ pipeline {
             }
 
             stage('Build documentation') {
-              options { timeout(time: 5, unit: 'MINUTES') }
+              options { timeout(time: 10, unit: 'MINUTES') }
               steps {
                 // -W causes warnings to become errors.
                 // --keep-going ensures we get all warnings instead of just the first.
Original file line number	Diff line number	Diff line change
`@@ -140,7 +140,7 @@ pipeline {`
`140`	`140`	`}`
`141`	`141`
`142`	`142`	`stage('Build documentation') {`
`143`		`- options { timeout(time: 5, unit: 'MINUTES') }`
	`143`	`+ options { timeout(time: 10, unit: 'MINUTES') }`
`144`	`144`	`steps {`
`145`	`145`	`// -W causes warnings to become errors.`
`146`	`146`	`// --keep-going ensures we get all warnings instead of just the first.`