Merge branch 'ci/cd'

.circleci/config.yml

@@ -4,7 +4,7 @@ jobs:
   # Basic testing of a new commit to any branch.
   test:
     docker:
-      - image: birdofpreyru/mythril:0.0.2
+      - image: birdofpreyru/mythril-integration-tests:0.0.3
 
     steps:
       - checkout:
@@ -43,7 +43,7 @@ jobs:
 
       - run:
           name: Integration tests
-          command: cd /home && ./run-integration-tests.sh
+          command: if [ -z "$CIRCLE_PR_NUMBER" ]; then cd /home && ./run-integration-tests.sh; fi
 
   deploy:
     docker: