#!/bin/bash
set -e

# Source the build environment to reuse variables
source "$(dirname "$0")/build.sh"

# Push the Docker image to the registry
echo "Pushing image: ${FULL_IMAGE_NAME} to registry..."
docker push "${FULL_IMAGE_NAME}"
echo "Image pushed successfully"

echo ""
echo "Image pushed to: ${FULL_IMAGE_NAME}"
echo ""