diff --git a/Jenkinsfile b/Jenkinsfile index d5d8a189fe7484e37f17857a443722883c07f1ee..8bf21ff0e864af2ac50647f8bd12574df0bb1343 100644 --- a/Jenkinsfile +++ b/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}" } } }