diff --git a/.circleci/collect_reports.sh b/.circleci/collect_reports.sh index 3e7891bd24..9cb27f8e94 100755 --- a/.circleci/collect_reports.sh +++ b/.circleci/collect_reports.sh @@ -19,9 +19,6 @@ 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