Merge branch 'ci/cd'

7 years ago · 083b6ad431
parent cf1f131c6b 2784a39968
commit 083b6ad431
2 changed files with 9 additions and 4 deletions
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@ -52,10 +52,15 @@ workflows:
  version: 2
  build:
    jobs:
-      - test
+      - test:
+          filters:
+            tags:
+              only: /.*/
      - deploy:
          filters:
-            only:
-              tags: /v[0-9]+(\.[0-9]+)*/
+            branches:
+              ignore: /.*/
+            tags:
+              only: /v[0-9]+(\.[0-9]+)*/
          requires:
            - test
--- a/setup.py
+++ b/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,