Few extra updates of CI/CD config and Docker releases

.circleci/config.yml

@@ -62,7 +62,7 @@ jobs:
           command: if [ -z "$CIRCLE_PR_NUMBER" ]; then ./run-integration-tests.sh; fi
           working_directory: /home
 
-  deploy:
+  pypi_release:
     <<: *defaults
     steps:
       - checkout:
@@ -98,7 +98,7 @@ workflows:
           filters:
             tags:
               only: /.*/
-      - deploy:
+      - pypi_release:
           filters:
             branches:
               ignore: /.*/
@@ -114,4 +114,3 @@ workflows:
               only: /v[0-9]+(\.[0-9]+)*/
           requires:
             - test
-            - deploy

README.md

@@ -10,11 +10,10 @@ Mythril is a security analysis tool for Ethereum smart contracts. It uses concol
 
 ## Installation and setup
 
-Build the [Docker](https://www.docker.com) image:
+Get it with [Docker](https://www.docker.com):
 
 ```bash
-$ git clone https://github.com/ConsenSys/mythril/
-$ docker build mythril
+$ docker pull mythril/myth
 ```
 
 Install from Pypi:

docker_build_and_deploy.sh

@@ -1,6 +1,14 @@
 #!/bin/sh
 
-VERSION=${CIRCLE_TAG#?}
-docker build -t mythril/mythril:${VERSION} .
+NAME=mythril/myth
+
+VERSION_TAG=${NAME}:${CIRCLE_TAG#?}
+LATEST_TAG=${NAME}:latest
+
+docker build -t ${VERSION_TAG} .
+docker tag ${VERSION_TAG} ${LATEST_TAG}
+
 docker login -u $DOCKERHUB_USERNAME -p $DOCKERHUB_PASSWORD
-docker push mythril/mythril:${VERSION}
+
+docker push ${VERSION_TAG}
+docker push ${LATEST_TAG}

setup.py

@@ -6,7 +6,7 @@ import os
 # Package version (vX.Y.Z). It must match git tag being used for CircleCI
 # deployment; otherwise the build will failed.
 
-VERSION = "v0.18.2"
+VERSION = "v0.18.3"
 
 
 class VerifyVersionCommand(install):