mirror of
https://github.com/davidhalter/jedi.git
synced 2026-08-02 07:10:20 +08:00
Replace the mypy check with zuban check
This commit is contained in:
@@ -48,7 +48,7 @@ jobs:
|
|||||||
- name: Run tests
|
- name: Run tests
|
||||||
run: |
|
run: |
|
||||||
python -m flake8 jedi test setup.py
|
python -m flake8 jedi test setup.py
|
||||||
python -m mypy jedi sith.py setup.py
|
zuban check
|
||||||
|
|
||||||
coverage:
|
coverage:
|
||||||
runs-on: ubuntu-24.04
|
runs-on: ubuntu-24.04
|
||||||
|
|||||||
@@ -52,8 +52,7 @@ setup(name='jedi',
|
|||||||
'qa': [
|
'qa': [
|
||||||
# latest version on 2025-06-16
|
# latest version on 2025-06-16
|
||||||
'flake8==7.2.0',
|
'flake8==7.2.0',
|
||||||
# latest version supporting Python 3.6
|
'zuban==0.6.2',
|
||||||
'mypy==1.16',
|
|
||||||
# Arbitrary pins, latest at the time of pinning
|
# Arbitrary pins, latest at the time of pinning
|
||||||
'types-setuptools==80.9.0.20250529',
|
'types-setuptools==80.9.0.20250529',
|
||||||
],
|
],
|
||||||
|
|||||||
Reference in New Issue
Block a user