diff options
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/ci/deploy.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/scripts/ci/deploy.sh b/scripts/ci/deploy.sh index f742b38..d3b9dac 100755 --- a/scripts/ci/deploy.sh +++ b/scripts/ci/deploy.sh @@ -4,10 +4,13 @@ set -Eeuo pipefail cd "$(dirname "${BASH_SOURCE[0]}")" cd ../../ +PROJECT_ROOT="${PWD}" finish-phase() { local -r exit_code="${?}" + cd "${PROJECT_ROOT}" + if [[ "${exit_code}" = 0 ]]; then echo "Finished successfully." else |