diff --git a/Jenkinsfile b/Jenkinsfile
index b43cb44f3..5de1c7eb7 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -7,7 +7,7 @@ pipeline {
     }
 
     options {
-        timeout(time: 8, unit: 'MINUTES')
+        timeout(time: 5, unit: 'MINUTES')
         timestamps()
     }