diff options
author | Egor Tensin <Egor.Tensin@gmail.com> | 2021-03-29 21:41:12 +0300 |
---|---|---|
committer | Egor Tensin <Egor.Tensin@gmail.com> | 2021-03-29 21:41:12 +0300 |
commit | c60334bf4c141218c82157dc0316eca5d13acb96 (patch) | |
tree | f9b9edc69e635c00198a300eacc77a19d91c750d /.ci/local | |
parent | move setup_logging to utils.py (diff) | |
download | cgitize-c60334bf4c141218c82157dc0316eca5d13acb96.tar.gz cgitize-c60334bf4c141218c82157dc0316eca5d13acb96.zip |
.ci/local: tweak output
Diffstat (limited to '.ci/local')
-rwxr-xr-x | .ci/local/test.sh | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/.ci/local/test.sh b/.ci/local/test.sh index 6216c48..99728e4 100755 --- a/.ci/local/test.sh +++ b/.ci/local/test.sh @@ -221,7 +221,13 @@ test_failure() { cgitize verify_initial_commits add_commits + + echo + echo ---------------------------------------------------------------------- + echo Removing upstream repository + echo ---------------------------------------------------------------------- rm -rf -- "$upstream_repo_dir" + if cgitize; then echo "cgitize should have failed to pull the upstream repository." >&2 return 1 |