diff options
author | MarcoFalke <*~=`'#}+{/-|&$^_@721217.xyz> | 2023-05-05 08:51:41 +0200 |
---|---|---|
committer | MarcoFalke <*~=`'#}+{/-|&$^_@721217.xyz> | 2023-05-05 08:50:39 +0200 |
commit | fae8de926abaa9d7e5f0769865ded9491a72f866 (patch) | |
tree | a98141d2fca54dcbf7859b29467724665c146df1 /ci/test_run_all.sh | |
parent | fa7d75540ed266d76c946d7ab8fdf4aa2d12f40e (diff) | |
download | bitcoin-fae8de926abaa9d7e5f0769865ded9491a72f866.tar.xz |
ci: Move CI container kill out of 06_script_b.sh
This cleans up 06_script_b.sh to only contain code to be executed inside
the CI pod, which avoids confusion and is needed for the next commit.
Diffstat (limited to 'ci/test_run_all.sh')
-rwxr-xr-x | ci/test_run_all.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/ci/test_run_all.sh b/ci/test_run_all.sh index 93b07aab1e..f517d1b30e 100755 --- a/ci/test_run_all.sh +++ b/ci/test_run_all.sh @@ -11,3 +11,8 @@ set -o errexit; source ./ci/test/04_install.sh set -o errexit; source ./ci/test/05_before_script.sh set -o errexit; source ./ci/test/06_script_a.sh set -o errexit; source ./ci/test/06_script_b.sh + +if [ -z "$DANGER_RUN_CI_ON_HOST" ]; then + echo "Stop and remove CI container by ID" + docker container kill "${CI_CONTAINER_ID}" +fi |