diff --git a/Jenkinsfile b/Jenkinsfile index 932deddb0695c4b545a63c72b4bd0f012ddc7346..8a6eeb184099040e184ece885b19e95cb5b9af78 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -35,7 +35,6 @@ pipeline { echo '-----------------------------' echo "name:${name}" - } }