Jenkins: only build for now

Change-Id: I762079c2b32a5189c691aa0c7d5cf23376e25e4f
diff --git a/Jenkinsfile b/Jenkinsfile
index d5d8a18..8bf21ff 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -37,7 +37,7 @@
             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}"
                 }
             }
         }