diff --git a/Jenkinsfile b/Jenkinsfile index 931e9a697..ef6699abb 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,9 +1,7 @@ pipeline { - /* tools { maven 'Maven 3.5.0' } - */ agent any