From 137c325f3750d0ad345df533df4bc41990568239 Mon Sep 17 00:00:00 2001
From: Robert Sachunsky <38561704+bertsky@users.noreply.github.com>
Date: Tue, 12 Dec 2023 17:53:20 +0100
Subject: [PATCH] CD: push tag latest to Dockerhub, too

fixes #1152
---
 .circleci/config.yml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.circleci/config.yml b/.circleci/config.yml
index 080052146..2bcc36564 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -87,6 +87,8 @@ jobs:
       - run:
           name: Login to Docker Hub
           command: echo "$DOCKERHUB_PASS" | docker login --username "$DOCKERHUB_USERNAME" --password-stdin
+      - run: docker push ocrd/core:latest
+      - run: docker push ocrd/core-cuda:latest
       - run: docker tag ocrd/core ocrd/core:$(git describe --tags --abbrev=0)
       - run: docker tag ocrd/core-cuda ocrd/core-cuda:$(git describe --tags --abbrev=0)
       - run: docker push ocrd/core:$(git describe --tags --abbrev=0)