Merge remote-tracking branch 'origin/features/integeroverflow' into features/integeroverflow

7 years ago · 2dd937101a
parent 26a9871d33 5f7418721a
commit 2dd937101a
1 changed files with 1 additions and 1 deletions
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@ -12,7 +12,7 @@ jobs:

      # Uncomment, for local testing with circleci command, as it ignores
      # path param in checkout command, and this symlink compenstates for that.
-      - run: ln -s /root/project /home/mythril
+      # - run: ln -s /root/project /home/mythril

      - run:
          name: Installing mythril tools