diff --git a/Jenkinsfile b/Jenkinsfile
index dafc6e72b..5b9a54310 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -1,6 +1,9 @@
 def runWorkers = true
 pipeline {
     agent none
+    options {
+        timeout(time: 4, unit: 'HOURS')
+    }
     stages {
         stage('Early checks') {
             agent { node { label 'built-in' } }