TheDude
/
mythril
mirror of https://github.com/ConsenSys/mythril
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Fix CircleCI script

Browse Source
pull/218/head
Dr. Sergey Pogodin 7 years ago
parent f0a2345629
commit 7c1ce02f33
1 changed files with 1 additions and 1 deletions
Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL
Show Stats Download Patch File Download Diff File
  1. 2
      .circleci/config.yml

2
.circleci/config.yml
Unescape View File

@ -47,7 +47,7 @@ jobs:
deploy:
docker:
- image: birdofpreyru/mythril:0.0.1
- image: birdofpreyru/mythril:0.0.2
steps:
- checkout:
path: /home/mythril

Write Preview
Loading…
Cancel
Save