From 899a7cf2f857696a99ebc0a70816ca1132af6520 Mon Sep 17 00:00:00 2001
From: Robert Sachunsky <38561704+bertsky@users.noreply.github.com>
Date: Tue, 12 Mar 2024 00:18:42 +0100
Subject: [PATCH] CI: add Dockerhub CD

---
 .circleci/config.yml | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)

diff --git a/.circleci/config.yml b/.circleci/config.yml
index 92bcd63..3c29431 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -10,8 +10,27 @@ jobs:
       - run: git submodule update --init
       - run: sudo make test
 
+  deploy-docker:
+    docker:
+      - image: circleci/buildpack-deps:stretch
+    steps:
+      - checkout
+      - setup_remote_docker: # https://circleci.com/docs/2.0/building-docker-images/
+          docker_layer_caching: true
+      - run: make docker
+      - run:
+          name: Login to Docker Hub
+          command: echo "$DOCKERHUB_PASS" | docker login --username "$DOCKERHUB_USER" --password-stdin
+      - run: docker push ocrd/fileformat
+
 workflows:
   version: 2
   build-master:
     jobs:
       - build
+  deploy:
+    jobs:
+      - deploy-docker:
+          filters:
+            branches:
+              only: master