diff --git a/Jenkinsfile b/Jenkinsfile index d8eab0c2d..8d3f8dec4 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,5 +1,4 @@ pipeline { - agent { dockerfile true } stages { stage('Build') { steps {