From 7d9dff4fac0763b787acccf2953dc68b9a77841c Mon Sep 17 00:00:00 2001 From: Adrian Charkiewicz Date: Thu, 24 Mar 2022 19:44:48 +0100 Subject: [PATCH] changed file name in Jenkinsfile --- Jenkinsfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Jenkinsfile b/Jenkinsfile index 5e78b83..35e126f 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -28,7 +28,7 @@ pipeline { steps { echo 'Hello world' checkout([$class: 'GitSCM', branches: [[name: '*/master']], extensions: [], userRemoteConfigs: [[url: 'https://git.wmi.amu.edu.pl/s444354/ium_444354']]]) - sh "chmod u+x ./dataset_download.sh" + sh "chmod u+x ./download.sh" sh "KAGGLE_USERNAME=${KAGGLE_USERNAME} KAGGLE_KEY=${KAGGLE_KEY} CUTOFF=${CUTOFF} ./download.sh" archiveArtifacts 'data.txt' }