Content - 032ad5d2d14bf7c0d5bb08912d94a38bc24eacfd - 79a192b/scripts/ci/docker_push_all.sh

visit type:

Tip revision: 0e412b6b50d432c7374ea28f3845ce3e23590ecd authored by Felix Puscasu on 22 January 2024, 12:38:57 UTC
RISC-V: M-ext: mul, div

Tip revision: 0e412b6

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

Browse the archive

https://gitlab.com/tezos/tezos