diff --git a/Jenkinsfile b/Jenkinsfile
index 756c8e4351d0edb93e1c7f45c10d77a7d9646e00..61139da2c5bd1980a40c09306a00c87966dcdfce 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -72,6 +72,7 @@ pipeline {
 
   options {
     buildDiscarder(logRotator(numToKeepStr: '10'))
+    timeout(time: 15, unit: 'MINUTES')
   }
 
   triggers {