diff --git a/Jenkinsfile-stats b/Jenkinsfile-stats index 60d15e1..5070fea 100644 --- a/Jenkinsfile-stats +++ b/Jenkinsfile-stats @@ -1,19 +1,19 @@ pipeline { agent any - parameters{ + 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') { @@ -22,6 +22,11 @@ pipeline { copyArtifacts fingerprintArtifacts: true, projectName: 'z-s464906-create-dataset', selector: buildParameter('BUILD_SELECTOR') } } + post { + success { + echo 'Artifacts copied successfully.' + } + } } stage('Run shell script') { steps {