diff --git a/Jenkinsfile b/Jenkinsfile index 3c35ee5..2be7fad 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,5 +1,7 @@ pipeline { - agent any + agent { + dockerfile true + } parameters { string(