Merge pull request #1153 from OCR-D/dockerhub-tag-latest

CD: push tag latest to Dockerhub, too
OCR-D · Dec 13, 2023 · d913b9a · d913b9a
2 parents 742906e + 137c325
commit d913b9a
Showing 1 changed file with 2 additions and 0 deletions.
diff --git 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)