diff --git a/Jenkinsfile b/Jenkinsfile index 21d4f11..23e7246 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,10 +1,5 @@ pipeline { - agent { - dockerfile { - filename 'Dockerfile.build' - label 'crafting-interpreters-build' - } - } + agent { dockerfile true } stages { stage('Build') {