blob: 307680aa5113530811e2bc209645640732ae0568 (
plain)
1
2
3
4
5
6
7
8
|
#!/usr/bin/env bash
COQCI_VERSION=V2018-05-07-V2
docker tag $IMAGE_NAME $DOCKER_REPO:$COQCI_VERSION
docker push $DOCKER_REPO:$COQCI_VERSION
docker tag $IMAGE_NAME coqci/base:$COQCI_VERSION
docker push coqci/base:$COQCI_VERSION
|