diff --git a/Jenkinsfile b/Jenkinsfile index 7b3a674..b2bdd2d 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -30,7 +30,7 @@ pipeline { stage("${SCHEME}") { catchError(buildResult: 'SUCCESS', stageResult: 'FAILURE') { sh "timeout 600 make SCHEME=${SCHEME} LIBRARY=${LIBRARY} RNRS=r6rs run-test-docker" - archiveArtifacts(artifacts: "*.json", allowEmptyArchive: true, fingerprint: true) + archiveArtifacts(artifacts: "${SCHEME}-${LIBRARY}.ctrf.json", allowEmptyArchive: false, fingerprint: true) } } } @@ -48,7 +48,7 @@ pipeline { stage("${SCHEME}") { catchError(buildResult: 'SUCCESS', stageResult: 'FAILURE') { sh "timeout 600 make SCHEME=${SCHEME} LIBRARY=${LIBRARY} RNRS=r7rs run-test-docker" - archiveArtifacts(artifacts: "*.json", allowEmptyArchive: true, fingerprint: true) + archiveArtifacts(artifacts: "${SCHEME}-${LIBRARY}.ctrf.json", allowEmptyArchive: false, fingerprint: true) } } }