diff --git a/scripts/report_errors.sh b/scripts/report_errors.sh index fbdf9f958..cfc0b5bf0 100755 --- a/scripts/report_errors.sh +++ b/scripts/report_errors.sh @@ -9,10 +9,6 @@ function report_error_to_github CIRCLE_PR_NUMBER="${CIRCLE_PULL_REQUEST//[^0-9]/}" fi - ERROR_MSG=$(cat "$ERROR_LOG") - - echo "$ERROR_MSG" - if [[ $CI == "true" ]] then echo "posting error message to github"