diff --git a/dataset_stats/Jenkinsfile b/dataset_stats/Jenkinsfile index 41b4f4e..f1b8d98 100644 --- a/dataset_stats/Jenkinsfile +++ b/dataset_stats/Jenkinsfile @@ -18,6 +18,11 @@ pipeline { sh 'cat /etc/issue' } } + stage('checkout: Check out from version control') { + steps { + git credentialsId: 'f746c8e0-e974-4758-838d-1920a7b0e3dc', url: 'https://git.wmi.amu.edu.pl/s434695/ium_434695.git' + } + } stage("copyArtifacts"){ steps { copyArtifacts fingerprintArtifacts: true,