diff --git a/Jenkinsfile b/Jenkinsfile index 1b4747e..bb7e069 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,6 +1,11 @@ pipeline { agent any + tools { + maven 'maven' // The name defined in Manage Jenkins > Global Tool Configuration + } + + parameters { string(name: 'serviceName', defaultValue: 'my-service', description: 'Service Name') string(name: 'interfaceName', defaultValue: 'B_IN_A_B', description: 'Interface Name')