diff --git a/Jenkinsfile b/Jenkinsfile index 80c0451..a3e3d2e 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -13,10 +13,10 @@ pipeline { echo 'Hello World' } } - + stage('Copy artifacts'){ steps{ - copyArtifacts filter: 'wikinews_results.txt', fingerprintArtifacts: true, projectName: 'ASR-eval', selector: lastSuccessful() + copyArtifacts filter: 'wikinews_results.tsv', fingerprintArtifacts: true, projectName: 'ASR-eval', selector: lastSuccessful() } } }