diff --git a/Jenkinsfile b/Jenkinsfile index 9752ada..8a5f39e 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -30,7 +30,6 @@ pipeline { 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) - publishCtrfResults: "*.json" } } } @@ -49,7 +48,6 @@ pipeline { 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) - publishCtrfResults: "*.json" } } } @@ -59,4 +57,10 @@ pipeline { } } } + + post { + success { + publishCtrfResults: "*.json" + } + } }