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