diff --git a/Jenkinsfile-stats b/Jenkinsfile-stats new file mode 100644 index 0000000..1d7901f --- /dev/null +++ b/Jenkinsfile-stats @@ -0,0 +1,51 @@ +pipeline { + agent any + + parameters { + buildSelector( + defaultSelector: lastSuccessful(), + description: 'Which build to use for copying artifacts', + name: 'BUILD_SELECTOR' + ) + string( + defaultValue: '1000', + description: 'CUTOFF', + name: 'CUTOFF', + trim: false + ) + } + + stages { + stage('Copy artifacts') { + steps { + script { + copyArtifacts fingerprintArtifacts: true, projectName: 'z-s464962-create-dataset', selector: buildParameter('BUILD_SELECTOR') + } + } + post { + success { + echo 'Artifacts copied successfully.' + } + } + } + stage('Set execute permission') { + steps { + script { + sh 'chmod +x dataset-stats.sh' + } + } + } + stage('Run shell script') { + steps { + script { + sh './dataset-stats.sh' + } + } + post { + success { + archiveArtifacts artifacts: 'stats.txt', allowEmptyArchive: true + } + } + } + } +} \ No newline at end of file