diff --git a/Jenkinsfile b/Jenkinsfile index c4bd8fbee..cdbbae44c 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,5 +1,10 @@ pipeline { - agent any + agent + docker { + image 'maven:3-alpine' + label 'my-defined-label' + args '-v /tmp:/tmp' + } tools { maven 'Maven' }