Merge branch 'ci/cd'

7 years ago · f0a2345629
parent 84a645f37a 284545ea7d
commit f0a2345629
1 changed files with 5 additions and 1 deletions
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@ -4,7 +4,7 @@ jobs:
  # Basic testing of a new commit to any branch.
  test:
    docker:
-      - image: birdofpreyru/mythril:0.0.1
+      - image: birdofpreyru/mythril:0.0.2

    steps:
      - checkout:
@ -41,6 +41,10 @@ jobs:
          name: Ensuring that setup script is functional
          command: cd /home/mythril && python3 setup.py install

+      - run:
+          name: Integration tests
+          command: cd /home && ./run-integration-tests.sh
+
  deploy:
    docker:
      - image: birdofpreyru/mythril:0.0.1