summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--Jenkinsfile7
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') {