mirror of
https://github.com/davidhalter/jedi.git
synced 2026-10-14 07:48:57 +08:00
Also typecheck sith
This commit is contained in:
1 parent
38f853cf86
commit
3f74981d5e
2 files changed
+2
-2
No files matched your search
+1
-1
@@ -32,7 +32,7 @@ matrix:
|
|||||||
script:
|
script:
|
||||||
# Ignore F401, which are unused imports. flake8 is a primitive tool and is sometimes wrong.
|
# Ignore F401, which are unused imports. flake8 is a primitive tool and is sometimes wrong.
|
||||||
- 'flake8 --extend-ignore F401 jedi setup.py'
|
- 'flake8 --extend-ignore F401 jedi setup.py'
|
||||||
- 'mypy jedi'
|
- 'mypy jedi sith.py'
|
||||||
install:
|
install:
|
||||||
- sudo apt-get -y install python3-venv
|
- sudo apt-get -y install python3-venv
|
||||||
- pip install .[testing]
|
- pip install .[testing]
|
||||||
|
|||||||
Reference in new issue
Block a user