diff --git a/create-dataset.Jenkinsfile b/create-dataset.Jenkinsfile index a226691..f0e5cf0 100644 --- a/create-dataset.Jenkinsfile +++ b/create-dataset.Jenkinsfile @@ -1,5 +1,7 @@ pipeline { - agent any + agent { + dockerfile true + } stages { stage('Build') { diff --git a/dataset-stats.Jenkinsfile b/dataset-stats.Jenkinsfile index a62cc9d..2cb5377 100644 --- a/dataset-stats.Jenkinsfile +++ b/dataset-stats.Jenkinsfile @@ -1,5 +1,7 @@ pipeline { - agent any + agent { + dockerfile true + } stages { stage('Build') {