Rename Dev to Group internally (#15557)

The "dev" naming is a pre-PEP 735 artifact.
This commit is contained in:
konsti 2025-08-27 20:35:43 +02:00 committed by GitHub
parent 960714d4d6
commit 7d49571336
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
15 changed files with 125 additions and 113 deletions

View file

@ -314,7 +314,7 @@ impl Lock {
)?;
}
}
if let Some(group) = dist.dev.as_ref() {
if let Some(group) = dist.group.as_ref() {
let id = PackageId::from_annotated_dist(dist, root)?;
let Some(package) = packages.get_mut(&id) else {
return Err(LockErrorKind::MissingDevBase {