Remove duplicate docker-compose pull and change the indentation (#18313)

Signed-off-by: Jenny Li <jing.li@zilliz.com>
This commit is contained in:
Jenny Li 2022-07-18 20:52:30 +08:00 committed by GitHub
parent 706d4414c5
commit 00b1a32bba
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -295,11 +295,9 @@ if [[ -z "${SKIP_BUILD:-}" ]]; then
else
trace "setup kind registry" setup_kind_registry
fi
pushd "${ROOT}"
trace "docker pull builder " docker-compose pull --ignore-pull-failures builder
trace "build milvus" "${ROOT}/build/builder.sh" /bin/bash -c "${BUILD_COMMAND}"
popd
pushd "${ROOT}"
trace "build milvus" "${ROOT}/build/builder.sh" /bin/bash -c "${BUILD_COMMAND}"
popd
fi
if [[ -n "${DISABLE_KIND:-}" ]]; then