diff --git a/Jenkinsfile b/Jenkinsfile
index e3a1f9b8b..96a0ec9d2 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -9,7 +9,8 @@ pipeline {
 
     stage('Build') {
       steps {
-        sh 'bash ./scripts/inst.sh --setup'
+        sh 'bash ./scripts/build.sh'
+        sh 'bash ./scripts/inst.sh --setup --fast'
       }
     }