not uploading core dumps if not failed

ctu-mrs · Jun 28, 2024 · 0af9a5d · 0af9a5d
1 parent 4a913a5
commit 0af9a5d
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.ci/test.sh b/.ci/test.sh
@@ -130,6 +130,8 @@ if [[ "$FAILED" -eq 0 ]]; then
   # extract coverage data for the source folder of the workspace
   lcov --extract /tmp/coverage.removed "$WORKSPACE/src/*" --output-file $ARTIFACT_FOLDER/$REPOSITORY_NAME.info || echo "$0: coverage tracefile is empty"
 
+  exit $FAILED
+
 fi
 
 ls /tmp/coredump