Fix

.circleci/config.yml

@@ -52,10 +52,15 @@ workflows:
   version: 2
   build:
     jobs:
-      - test
+      - test:
+          filters:
+            tags:
+              only: /.*/
       - deploy:
           filters:
-            only:
+            branches:
-              tags: /v[0-9]+(\.[0-9]+)*/
+              ignore: /.*/
+            tags:
+              only: /v[0-9]+(\.[0-9]+)*/
           requires:
             - test

setup.py

@@ -254,7 +254,7 @@ Credit
 setup(
     name='mythril',
 
-    version=os.getenv('CIRCLE_TAG', 'v0.0.0')[1:],
+    version=os.getenv('CIRCLE_TAG', 'v0.15.8')[1:],
 
     description='Security analysis tool for Ethereum smart contracts',
     long_description=long_description,