Chore: Revert back to ubuntu1804-docker
[ci-management.git] / shell / docker-push.sh
1 #!/bin/bash
2 # Ensure we fail the job if any steps fail
3 set -e -o pipefail
4
5 # Push our image to wherever it's defined to go by the name
6 docker push "$DOCKER_IMAGE"
7 docker push "$DOCKER_IMAGE_LATEST"