fix commit hash push

master
webD97 2018-06-11 23:07:29 +02:00
parent 998158d017
commit 633a3c9842
No known key found for this signature in database
GPG Key ID: F67B655FA261646B
1 changed files with 2 additions and 4 deletions

View File

@ -52,10 +52,8 @@ before_script:
-t $DOCKER_REPO:$DOCKER_TAG \
. && \
if [[ "$MINETEST_ENGINE_VERSION" == "latest" ]]; then
docker tag $DOCKER_REPO:$DOCKER_TAG $DOCKER_REPO:$MINETEST_ENGINE_VERSION
docker push $DOCKER_REPO:$MINETEST_ENGINE_VERSION
fi
docker tag $DOCKER_REPO:$DOCKER_TAG $DOCKER_REPO:$MINETEST_ENGINE_VERSION
docker push $DOCKER_REPO:$MINETEST_ENGINE_VERSION
docker push $DOCKER_REPO:$DOCKER_TAG