CI: ensure docker CI exits at error

Author: mloubout

docker/entrypoint.sh

@@ -16,6 +16,12 @@ fi
 if [[ -v CODECOV_TOKEN ]]; then
     echo "CODECOV_TOKEN provided, running and uploading coverage report"
     "$@"
+    # Check if the tests failed
+    if [[ $? -ne 0 ]]; then
+        echo "Tests failed, exiting without uploading coverage"
+        exit 1
+    fi
+    # Upload codecov report
     ./codecov --verbose upload-process --disable-search \
         -t ${CODECOV_TOKEN} \
         -F "pytest-gpu-${DEVITO_ARCH}-${DEVITO_PLATFORM}" \