Use circle-ci to publish docker images.

Author: manthey

.circleci/config.yml

@@ -122,6 +122,24 @@ jobs:
           name: Release to PyPI
           command: tox -e release
 
+  publish_docker:
+    working_directory: ~/project
+    machine:
+      image: ubuntu-2004:202111-02
+    steps:
+      - checkout
+      - run:
+          name: Build girder_worker docker
+          command: docker build --force-rm -t girder/girder_worker .
+      - run:
+          name: Publish images to Docker Hub
+          command: |
+              echo "$DOCKERHUB_PASS" | docker login -u "$DOCKERHUB_USERNAME" --password-stdin
+              docker push girder/girder_worker:latest
+              if [[ $CIRCLE_TAG =~ ^v.*$ ]]; then
+              docker tag girder/girder_worker:latest "girder/girder_worker:$CIRCLE_TAG"
+              docker push "girder/girder_worker:$CIRCLE_TAG"
+              fi
 
 workflows:
   version: 2
@@ -146,3 +164,12 @@ workflows:
             branches:
               only:
                 - master
+      - publish_docker:
+          requires:
+            - release
+          filters:
+            tags:
+              only: /^v.*/
+            branches:
+              only:
+                - master

.dockerignore

@@ -0,0 +1 @@
+env

Dockerfile

@@ -15,7 +15,7 @@ RUN apt-get update && DEBIAN_FRONTEND=noninteractive apt-get install -qy tzdata
   libpython3-dev && \
   apt-get clean && rm -rf /var/lib/apt/lists/*
 
-RUN wget https://bootstrap.pypa.io/get-pip.py && python3 get-pip.py
+RUN wget https://bootstrap.pypa.io/pip/3.6/get-pip.py && python3 get-pip.py
 
 
 FROM base as build