mirror of
https://github.com/davidhalter/jedi.git
synced 2026-10-14 14:39:00 +08:00
Upgrade zuban
This commit is contained in:
1 parent
a94b899c13
commit
8a56168d9a
2 files changed
+2
-2
No files matched your search
@@ -216,7 +216,7 @@ class Value(HelperValueMixin):
|
|||||||
def is_namespace(self):
|
def is_namespace(self):
|
||||||
return False
|
return False
|
||||||
|
|
||||||
def is_compiled(self):
|
def is_compiled(self) -> bool:
|
||||||
return False
|
return False
|
||||||
|
|
||||||
def is_bound_method(self):
|
def is_bound_method(self):
|
||||||
|
|||||||
@@ -50,7 +50,7 @@ setup(name='jedi',
|
|||||||
'typing_extensions',
|
'typing_extensions',
|
||||||
# latest version on 2025-06-16
|
# latest version on 2025-06-16
|
||||||
'flake8==7.1.2',
|
'flake8==7.1.2',
|
||||||
'zuban==0.7.0',
|
'zuban==0.10.1',
|
||||||
# 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