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

install mypy

Browse Source
pull/894/head
Nikhil Parasaram 6 years ago
parent 37d98891d5
commit 021f1ed6e9
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

@ -54,7 +54,7 @@ jobs:
- run:
name: Type testing
command: mypy .
command: pip3 install mypy; mypy .
working_directory: /home/mythril
- run:

Write Preview
Loading…
Cancel
Save