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