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