Jenkins: only build for now

Change-Id: I762079c2b32a5189c691aa0c7d5cf23376e25e4f

Jenkinsfile

@@ -37,7 +37,7 @@ pipeline {
             steps {
                 script {
                     docker.build("dhtnet:${env.BUILD_ID}", "--target build .")
-                    sh "docker run -t --rm dhtnet:${env.BUILD_ID}"
+                    //sh "docker run -t --rm dhtnet:${env.BUILD_ID}"
                 }
             }
         }