diff options
author | Tom Willemse | 2020-11-15 20:38:56 -0800 |
---|---|---|
committer | Tom Willemse | 2020-11-15 20:38:56 -0800 |
commit | 6bfbcb4850ae5814127ddc4a023d3dbdfaad83a5 (patch) | |
tree | 840c816dafb93eb9c2fac4a63e29023c200693e4 /Jenkinsfile | |
parent | c965dd4033ab5b4e698f508eeda044d19ea40047 (diff) | |
download | crafting-interpreters-6bfbcb4850ae5814127ddc4a023d3dbdfaad83a5.tar.gz crafting-interpreters-6bfbcb4850ae5814127ddc4a023d3dbdfaad83a5.zip |
Use default Dockerfile name, don’t look for a label.
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') { |