Revert "to be reverted"

virajjasani · virajjasani · commit 46e1f6b1393c · 2021-07-29T00:30:04.000+05:30
This reverts commit 775340b.
diff --git a/dev-support/Jenkinsfile b/dev-support/Jenkinsfile
@@ -23,7 +23,7 @@ pipeline {
 
     options {
         buildDiscarder(logRotator(numToKeepStr: '5'))
-        timeout (time: 40, unit: 'HOURS')
+        timeout (time: 24, unit: 'HOURS')
         timestamps()
         checkoutToSubdirectory('src')
     }

Original file line number	Diff line number	Diff line change
`@@ -23,7 +23,7 @@ pipeline {`
`23`	`23`
`24`	`24`	`options {`
`25`	`25`	`buildDiscarder(logRotator(numToKeepStr: '5'))`
`26`		`- timeout (time: 40, unit: 'HOURS')`
	`26`	`+ timeout (time: 24, unit: 'HOURS')`
`27`	`27`	`timestamps()`
`28`	`28`	`checkoutToSubdirectory('src')`
`29`	`29`	`}`