dev/ci/docker/bionic_coq/hooks/post_push


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