diff options
| author | MarcoFalke <*~=`'#}+{/-|&$^_@721217.xyz> | 2023-09-28 13:35:02 +0200 |
|---|---|---|
| committer | MarcoFalke <*~=`'#}+{/-|&$^_@721217.xyz> | 2023-10-09 16:17:04 +0200 |
| commit | fa2c894cbb41a64371717139fb3c3ddfb9bb8b19 (patch) | |
| tree | fe6d86a4b44bd4efa830f55608d3fdff1184d771 /ci/test/02_run_container.sh | |
| parent | fa695b4df069425414fd26b2ddc08d72a6b506f6 (diff) | |
ci: move-only CI_CONTAINER_ID to 02_run_container.sh
This limits the scope of the CI_CONTAINER_ID symbol.
Can be reviewed with --color-moved=dimmed-zebra
Diffstat (limited to 'ci/test/02_run_container.sh')
| -rwxr-xr-x | ci/test/02_run_container.sh | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/ci/test/02_run_container.sh b/ci/test/02_run_container.sh index 96fae73359..a7c1e22a6d 100755 --- a/ci/test/02_run_container.sh +++ b/ci/test/02_run_container.sh @@ -68,3 +68,10 @@ CI_EXEC "${BASE_ROOT_DIR}/ci/test/01_base_install.sh" CI_EXEC git config --global --add safe.directory \"*\" CI_EXEC mkdir -p "${BINS_SCRATCH_DIR}" + +CI_EXEC "${BASE_ROOT_DIR}/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 |