From c071ca73785ac96ab8960152879cad6f7d8cc3a2 Mon Sep 17 00:00:00 2001
From: Tomas Baca <klaxalk@gmail.com>
Date: Fri, 1 Dec 2023 09:39:30 +0100
Subject: [PATCH] fixed coverage with empty source

---
 .ci/publish_coverage.sh | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

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