diff options
Diffstat (limited to 'ci/getcontainer.sh')
| -rwxr-xr-x | ci/getcontainer.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/ci/getcontainer.sh b/ci/getcontainer.sh index 07ef7b8ea..81d0c1d92 100755 --- a/ci/getcontainer.sh +++ b/ci/getcontainer.sh @@ -37,9 +37,13 @@ DOCKER_REGISTRY_CONTAINER_SHA="${DOCKER_REGISTRY_CONTAINER}:${DOCKER_SHA}" echo "docker-registry-container-sha=${DOCKER_REGISTRY_CONTAINER_SHA}" >> $GITHUB_ENV echo "docker-registry-container-latest=${DOCKER_REGISTRY_CONTAINER}:latest" >> $GITHUB_ENV +echo "::: logging in to ${DOCKER_REGISTRY} as ${GITHUB_ACTOR}" + exists="true" docker login https://${DOCKER_REGISTRY} -u ${GITHUB_ACTOR} -p ${GITHUB_TOKEN} || exists="false" +echo "::: pulling ${DOCKER_REGISTRY_CONTAINER_SHA}" + if [ "${exists}" != "false" ]; then docker pull ${DOCKER_REGISTRY_CONTAINER_SHA} || exists="false" fi |