chore: split dependency groups

This commit is contained in:
Matteo Bernardini
2025-09-03 11:45:29 +08:00
committed by Lars Immisch
parent 6822cffcc8
commit 38d0882379
4 changed files with 14 additions and 10 deletions

14
uv.lock generated
View File

@@ -1,5 +1,5 @@
version = 1
revision = 2
revision = 3
requires-python = ">=3.10"
resolution-markers = [
"python_full_version >= '3.11'",
@@ -287,20 +287,22 @@ version = "0.11.0"
source = { editable = "." }
[package.dev-dependencies]
dev = [
{ name = "mypy" },
{ name = "pyright" },
doc = [
{ name = "sphinx", version = "8.1.3", source = { registry = "https://pypi.org/simple" }, marker = "python_full_version < '3.11'" },
{ name = "sphinx", version = "8.2.3", source = { registry = "https://pypi.org/simple" }, marker = "python_full_version >= '3.11'" },
]
lint = [
{ name = "mypy" },
{ name = "pyright" },
]
[package.metadata]
[package.metadata.requires-dev]
dev = [
doc = [{ name = "sphinx", specifier = ">=8.1.3" }]
lint = [
{ name = "mypy", specifier = ">=1.17.1" },
{ name = "pyright", specifier = ">=1.1.403" },
{ name = "sphinx", specifier = ">=8.1.3" },
]
[[package]]