Automatic releases of "develop" to "mythril/myth-dev" DockerHub container

.circleci/config.yml

@@ -90,6 +90,8 @@ jobs:
           command: twine upload dist/*
           working_directory: /home/mythril
 
+  # Release of the mainstream (current stable) version as mythril/myth
+  # container.
   dockerhub_release:
     docker:
       - image: docker:stable
@@ -98,7 +100,18 @@ jobs:
       - setup_remote_docker
       - run:
           name: Building Docker Image
-          command: ./docker_build_and_deploy.sh
+          command: ./docker_build_and_deploy.sh mythril/myth
+
+  # Release of the latest development version as mythril/myth-dev container.
+  dockerhub_dev_release:
+    docker:
+      - image: docker:stable
+    steps:
+      - checkout
+      - setup_remote_docker
+      - run:
+          name: Building Docker Image
+          command: ./docker_build_and_deploy.sh mythril/myth-dev
 
 workflows:
   version: 2
@@ -116,6 +129,12 @@ workflows:
               only: /v[0-9]+(\.[0-9]+)*/
           requires:
             - test
+      - dockerhub_dev_release:
+          filters:
+            branches:
+              only: develop
+          requires:
+            - test
       - dockerhub_release:
           filters:
             branches:

docker_build_and_deploy.sh

@@ -1,7 +1,8 @@
 #!/bin/sh
+
 set -eo pipefail
 
-NAME=mythril/myth
+NAME=$1
 
 VERSION_TAG=${NAME}:${CIRCLE_TAG#?}
 LATEST_TAG=${NAME}:latest