https://gitlab.com/tezos/tezos
Raw File
Tip revision: 71508a86c7784e0a76dc60dac44fd1e252500665 authored by vbot on 25 August 2023, 13:05:49 UTC
yes-node
Tip revision: 71508a8
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