diff --git a/dev-support/Jenkinsfile b/dev-support/Jenkinsfile
index 8140614f00c..ea7adcb0420 100644
--- a/dev-support/Jenkinsfile
+++ b/dev-support/Jenkinsfile
@@ -25,7 +25,7 @@ pipeline {
   }
   options {
     buildDiscarder(logRotator(numToKeepStr: '15'))
-    timeout (time: 12, unit: 'HOURS')
+    timeout (time: 24, unit: 'HOURS')
     timestamps()
     skipDefaultCheckout()
     disableConcurrentBuilds()