diff --git a/Jenkinsfile b/Jenkinsfile index 7ce09e2..0d622d2 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,5 +1,7 @@ pipeline { - agent any + agent{ + dockerfile true + } parameters{ string( defaultValue: 'kaerde',