updated jenkinsfiles

2021-04-11 20:12:36 +02:00 · 2021-04-11 20:12:36 +02:00 · ca31a63a87
parent d175c58d6e
commit ca31a63a87
2 changed files with 6 additions and 2 deletions
--- a/create-dataset.Jenkinsfile
+++ b/create-dataset.Jenkinsfile
@ -1,5 +1,7 @@
 pipeline {
-    agent any
+    agent { 
+        dockerfile true 
+    }

    stages {
        stage('Build') {
--- a/dataset-stats.Jenkinsfile
+++ b/dataset-stats.Jenkinsfile
@ -1,5 +1,7 @@
 pipeline {
-    agent any
+    agent { 
+        dockerfile true 
+    }

    stages {
        stage('Build') {