From af84d4307c58a5664ffa9d0dbbcca92c6ccd1e12 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jan=20=C5=9Awi=C4=85tek?= <janswi3@st.amu.edu.pl>
Date: Wed, 19 Apr 2023 20:14:35 +0200
Subject: [PATCH] Use docker in dataset-stats

---
 dataset-stats/Jenkinsfile | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/dataset-stats/Jenkinsfile b/dataset-stats/Jenkinsfile
index 74e6447..7b256f3 100644
--- a/dataset-stats/Jenkinsfile
+++ b/dataset-stats/Jenkinsfile
@@ -1,5 +1,7 @@
 pipeline {
-    agent any
+    agent {
+        dockerfile true
+    }
     
     stages {
         stage('Checkout') {
@@ -14,7 +16,7 @@ pipeline {
         }
         stage('Shell script') {
             steps {
-                sh 'bash dataset-stats.sh > dataset-stats.txt'
+                sh 'python3 dataset-stats/main.py > dataset-stats.txt'
             }
         }
         stage('Save results') {