Hendrik/xgboost
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Reduce docker image size. (#8306)

Browse Source
This commit is contained in:
Rory Mitchell
2022-10-06 01:55:51 +02:00
committed by GitHub
parent 668b8a0ea4
commit 909e49e214
2 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
tests/ci_build/ci_build.sh
View File

@@ -149,7 +149,7 @@ then
# Pull pre-build container from Docker build cache,
# if one exists for the particular branch or pull request
echo "docker pull --quiet ${DOCKER_CACHE_REPO}/${DOCKER_IMG_NAME}:${BRANCH_NAME}"
if docker pull --quiet "${DOCKER_CACHE_REPO}/${DOCKER_IMG_NAME}:${BRANCH_NAME}"
if time docker pull --quiet "${DOCKER_CACHE_REPO}/${DOCKER_IMG_NAME}:${BRANCH_NAME}"
then
CACHE_FROM_CMD="--cache-from ${DOCKER_CACHE_REPO}/${DOCKER_IMG_NAME}:${BRANCH_NAME}"
else