diff --git a/Jenkinsfile b/Jenkinsfile index d15c18edb6..2bebf888a4 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -39,6 +39,9 @@ pipeline { always { sh 'rm -rf catkin_ws' } + failure { + archiveArtifacts(allowEmptyArchive: false, artifacts: '.ros/**/*.xml, .ros/**/*.log') + } } options { checkoutToSubdirectory('catkin_ws/src/Firmware')