ci: use exec in ci/docker-run-default-image.sh to handle SIGTERM correctly
@@ -7,4 +7,4 @@ here="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)"
# shellcheck disable=SC1091
source "$here/docker/env.sh"
-"$here/docker-run.sh" "${CI_DOCKER_IMAGE:?}" "$@"
+exec "$here/docker-run.sh" "${CI_DOCKER_IMAGE:?}" "$@"