diff --git a/Jenkinsfile b/Jenkinsfile index 4be7865..ea65091 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -4,18 +4,24 @@ pipeline { stages { stage('Clone repository') { steps { - checkout([$class: 'GitSCM', branches: [[name: '*/master']], userRemoteConfigs: [[url: 'https://git.wmi.amu.edu.pl/s464906/ium_464906.git']]]) + checkout([$class: 'GitSCM', branches: [[name: '*/master']], userRemoteConfigs: [[url: 'https://git.wmi.amu.edu.pl/s464906/ium_464906']]]) + } + } + stage('Set execute permission') { + steps { + script { + sh 'chmod +x data_processing.sh' + } } } stage('Run shell script') { steps { script { - chmod +x data_processing.sh sh './data_processing.sh' } } post { - always { + success { archiveArtifacts artifacts: 'results.txt', allowEmptyArchive: true } }