diff --git a/scripts/ci_helper.sh b/scripts/ci_helper.sh index ec8b664b..60b89963 100755 --- a/scripts/ci_helper.sh +++ b/scripts/ci_helper.sh @@ -3,6 +3,8 @@ SCRIPT_PATH=$(realpath "$(dirname $(realpath "${BASH_SOURCE[0]}"))") source ${SCRIPT_PATH}/build_utils.sh +set -e + # check if GITHUB_ENV is set if [ -z "$GITHUB_ENV" ]; then echo "GITHUB_ENV is not set"