From ca31a63a877dc866b3d929dfc848df73beddd38e Mon Sep 17 00:00:00 2001 From: Alagris Date: Sun, 11 Apr 2021 20:12:36 +0200 Subject: [PATCH] updated jenkinsfiles --- create-dataset.Jenkinsfile | 4 +++- dataset-stats.Jenkinsfile | 4 +++- 2 files changed, 6 insertions(+), 2 deletions(-) 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') {