diff --git a/pr_testing/test_multiple_prs.sh b/pr_testing/test_multiple_prs.sh index a8f0d87afcad..5610114dfd4f 100755 --- a/pr_testing/test_multiple_prs.sh +++ b/pr_testing/test_multiple_prs.sh @@ -1396,6 +1396,11 @@ else fi mark_commit_status_all_prs '' 'error' -u "${PR_RESULT_URL}" -d "Failed: ${TESTS_FAILED}" fi +if [ -e ${RESULTS_DIR}/static.txt ]; then + if [ $(grep ${RESULTS_DIR}/static.txt -e 'EDM_ML_DEBUG_CHECKS;OK' | wc -l) -eq 0 ]; then + echo "* Static analyzer reported errors, please check" >> ${RESULTS_DIR}/10-report.res + fi +fi $CMS_BOT_DIR/das-utils/use-ibeos-sort || true pushd $WORKSPACE