Current Jenkins build typically takes less than 3 hours. Timeout a (#2911)

gongsu832 · web-flow · commit 382432194460 · 2024-08-19T16:36:08.000-04:00
build after 6 hours to account for the case when the build died badly
(typically due to segfault) and didn't get a chance to report failure.

Signed-off-by: Gong Su &lt;gong_su@hotmail.com&gt;
diff --git a/.buildbot/Jenkinsfile b/.buildbot/Jenkinsfile
@@ -26,6 +26,7 @@ def call() {
       skipDefaultCheckout()
       buildDiscarder(logRotator(numToKeepStr:'1000'))
       ansiColor('xterm')
+      timeout(time: 6, unit: 'HOURS')
     }
 
     agent {

Original file line number	Diff line number	Diff line change
`@@ -26,6 +26,7 @@ def call() {`
`26`	`26`	`skipDefaultCheckout()`
`27`	`27`	`buildDiscarder(logRotator(numToKeepStr:'1000'))`
`28`	`28`	`ansiColor('xterm')`
	`29`	`+ timeout(time: 6, unit: 'HOURS')`
`29`	`30`	`}`
`30`	`31`
`31`	`32`	`agent {`