diff --git a/.ci/check_if_build_was_already_uploaded b/.ci/check_if_build_was_already_uploaded index b21018c..d19797c 100755 --- a/.ci/check_if_build_was_already_uploaded +++ b/.ci/check_if_build_was_already_uploaded @@ -1,5 +1,7 @@ #!/bin/bash +set -e + check_directory_exists() { local remote_dir="$1"