VimPlug/jedi
1
0
Fork 1
mirror of https://github.com/davidhalter/jedi.git synced 2025-12-06 22:14:27 +08:00
Code Issues Actions Packages Projects Releases Wiki Activity

Upgrade Mypy

Browse Source
This commit is contained in:
Dave Halter
2025-06-16 16:49:46 +02:00
parent 7c27da8d68
commit d411290dff
7 changed files with 13 additions and 12 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
setup.py
View File

@@ -1,4 +1,5 @@
#!/usr/bin/env python
from typing import cast
from setuptools import setup, find_packages
from setuptools.depends import get_module_constant
@@ -9,7 +10,7 @@ __AUTHOR__ = 'David Halter'
__AUTHOR_EMAIL__ = 'davidhalter88@gmail.com'
# Get the version from within jedi. It's defined in exactly one place now.
version = get_module_constant("jedi", "__version__")
version = cast(str, get_module_constant("jedi", "__version__"))
readme = open('README.rst').read() + '\n\n' + open('CHANGELOG.rst').read()
@@ -51,9 +52,9 @@ setup(name='jedi',
# latest version on 2025-06-16
'flake8==7.2.0',
# latest version supporting Python 3.6
'mypy==0.971',
'mypy==1.16',
# Arbitrary pins, latest at the time of pinning
'types-setuptools==67.2.0.1',
'types-setuptools==80.9.0.20250529',
],
'docs': [
# Just pin all of these.