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