ci: Stop and remove CI container

This commit is contained in:
MarcoFalke 2023-01-09 10:42:19 +01:00
parent fa5dccba32
commit fa0584eb82
No known key found for this signature in database
GPG Key ID: CE2B75697E69A548
2 changed files with 6 additions and 0 deletions

View File

@ -50,6 +50,7 @@ if [ -z "$DANGER_RUN_CI_ON_HOST" ]; then
--env-file /tmp/env \
--name $CONTAINER_NAME \
$CI_IMAGE_NAME_TAG)
export CI_CONTAINER_ID
# Create a non-root user inside the container which matches the local user.
#

View File

@ -82,3 +82,8 @@ fi
if [ "$RUN_FUZZ_TESTS" = "true" ]; then
CI_EXEC LD_LIBRARY_PATH="${DEPENDS_DIR}/${HOST}/lib" test/fuzz/test_runner.py "${FUZZ_TESTS_CONFIG}" "$MAKEJOBS" -l DEBUG "${DIR_FUZZ_IN}"
fi
if [ -z "$DANGER_RUN_CI_ON_HOST" ]; then
echo "Stop and remove CI container by ID"
docker container kill "${CI_CONTAINER_ID}"
fi