diff --git a/.circleci/collect_reports.sh b/.circleci/collect_reports.sh index 9cb27f8e94..3e7891bd24 100755 --- a/.circleci/collect_reports.sh +++ b/.circleci/collect_reports.sh @@ -19,6 +19,9 @@ function save_reports () { report_path=$REPORTS_DIR/$project_to_save mkdir -p $report_path cp -r workspace/$project_to_save/build/reports/* $report_path/ + cp -r workspace/$project_to_save/build/core* $report_path/ || true + cp -r workspace/$project_to_save/build/hs_err_pid* $report_path/ || true + cp -r workspace/$project_to_save/build/replay* $report_path/ || true } shopt -s globstar