diff --git a/Jenkinsfile b/Jenkinsfile index 3237fa5a..d0439c59 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,8 +1,8 @@ pipeline { - agent {label 'slave-1'} + agent any tools { - maven 'maven3' + maven 'Maven' jdk 'jdk17' }