aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/.ci/local
diff options
context:
space:
mode:
Diffstat (limited to '')
-rwxr-xr-x.ci/local/test.sh6
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