diff --git a/Jenkinsfile b/Jenkinsfile index c4bd8fbee..f7984f798 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,7 +1,8 @@ pipeline { - agent any - tools { - maven 'Maven' + agent { + docker { + image 'maven:3-alpine' + } } stages { stage ('Build') {