diff --git a/Jenkinsfile.public b/Jenkinsfile.public
index dc3f7293d..f550ba57b 100644
--- a/Jenkinsfile.public
+++ b/Jenkinsfile.public
@@ -6,7 +6,7 @@ pipeline {
         }
     }
     options {
-          timeout(time: 30, unit: 'MINUTES')
+          timeout(time: 10, unit: 'MINUTES')
     }
     stages {
         stage('Build') {
@@ -104,4 +104,4 @@ pipeline {
             deleteDir()
         }
     }
-}
\ No newline at end of file
+}