diff --git a/Jenkinsfile b/Jenkinsfile
index d12c8e494..a44f53faf 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -157,6 +157,7 @@ pipeline {
                 }
                 */
 
+                /*
                 stage('C3: build') {
                   environment {
                     R3_PUSH = "${env.BRANCH_NAME == 'master' ? '1' : ' '}"
@@ -171,6 +172,7 @@ pipeline {
                     ])
                   }
                 }
+                */
 
                 stage('C3: HW + Unit Tests') {
                   steps {