fixing coverage

ctu-mrs · Nov 29, 2023 · bc9ee7e · bc9ee7e
1 parent a180a1f
commit bc9ee7e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.ci/publish_coverage.sh b/.ci/publish_coverage.sh
@@ -13,7 +13,7 @@ sudo apt-get -y -q install lcov
 
 ARGS=""
 
-for file in `ls $ARTIFACT_FOLDER`; do
+for file in `ls $ARTIFACT_FOLDER | grep ".info"`; do
 
   ARGS="-a ${ARTIFACT_FOLDER}/${file}"