diff options
Diffstat (limited to 'Jenkinsfile')
-rw-r--r-- | Jenkinsfile | 7 |
1 files changed, 1 insertions, 6 deletions
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') { |