mirror of
https://github.com/davidhalter/jedi.git
synced 2026-08-12 10:14:36 +08:00
Upgrade zuban
This commit is contained in:
@@ -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.2.0',
|
'flake8==7.2.0',
|
||||||
'zuban==0.6.2',
|
'zuban==0.7.0',
|
||||||
# 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