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 | |
| parent | c965dd4033ab5b4e698f508eeda044d19ea40047 (diff) | |
| download | crafting-interpreters-6bfbcb4850ae5814127ddc4a023d3dbdfaad83a5.tar.gz crafting-interpreters-6bfbcb4850ae5814127ddc4a023d3dbdfaad83a5.zip | |
Use default Dockerfile name, don’t look for a label.
| -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') { |