revert: Dont install mythril

muellerberndt · May 8, 2018 · ff48129 · ff48129
1 parent a9e3962
commit ff48129
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/.circleci/config.yml b/.circleci/config.yml
@@ -18,6 +18,10 @@ jobs:
           name: LASER Ethereum installation
           command: cd /home/laser-ethereum && python3 setup.py install
 
+      - run:
+          name: Installing mythril tools
+          command: cd /home && ./install-mythril-tools.sh mythril
+
       - run:
           name: Install dependencies, in case any are missing in Docker image
           command: pip3 install -r /home/laser-ethereum/requirements.txt