1009433: Timeout increased in the Jenkins file.

DinakarSF4212 · DinakarSF4212 · commit 91e6af715edb · 2026-02-16T14:50:16.000+05:30
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -2,7 +2,7 @@ node('content')
 { 
 timestamps
   {
-     timeout(time: 7200000, unit: 'MILLISECONDS') {
+     timeout(time: 10800000 , unit: 'MILLISECONDS') {
 String platform='file-formats';
    try
 	{   

Original file line number	Diff line number	Diff line change
`@@ -2,7 +2,7 @@ node('content')`
`2`	`2`	`{`
`3`	`3`	`timestamps`
`4`	`4`	`{`
`5`		`- timeout(time: 7200000, unit: 'MILLISECONDS') {`
	`5`	`+ timeout(time: 10800000 , unit: 'MILLISECONDS') {`
`6`	`6`	`String platform='file-formats';`
`7`	`7`	`try`
`8`	`8`	`{`