https://gitlab.com/tezos/tezos
Raw File
Tip revision: 410042dc7b4b687bb7ceed831ff2ade0992e0259 authored by Hans Hoglund on 20 July 2022, 09:49:18 UTC
fmt
Tip revision: 410042d
docker_push_all.sh
#!/bin/sh
set -eu

current_dir=$(cd "$(dirname "${0}")" && pwd)

# shellcheck source=./scripts/ci/docker.sh
. "${current_dir}/docker.sh"

# Loop over images
for docker_image in ${docker_images}
do
  docker push "${docker_image}:${DOCKER_IMAGE_TAG}"
done
back to top