diff --git a/.ci/publish_coverage.sh b/.ci/publish_coverage.sh index 6eccc7e782..c081709e7a 100755 --- a/.ci/publish_coverage.sh +++ b/.ci/publish_coverage.sh @@ -43,7 +43,9 @@ ARGS="" for file in `ls $ARTIFACT_FOLDER | grep ".info"`; do - ARGS="${ARGS} -a ${ARTIFACT_FOLDER}/${file}" + if [ -s ${ARTIFACT_FOLDER}/${file} ]; then + ARGS="${ARGS} -a ${ARTIFACT_FOLDER}/${file}" + fi done