Skip to content

chore: use dependency groups#550

Merged
eduardo-rodrigues merged 1 commit intomainfrom
henryiii/chore/depgropus
Feb 6, 2026
Merged

chore: use dependency groups#550
eduardo-rodrigues merged 1 commit intomainfrom
henryiii/chore/depgropus

Conversation

@henryiii
Copy link
Member

@henryiii henryiii commented Feb 6, 2026

Use dependency groups instead of extras.

Signed-off-by: Henry Schreiner <henryfs@princeton.edu>
@henryiii henryiii force-pushed the henryiii/chore/depgropus branch from ba10e0f to 17850a8 Compare February 6, 2026 18:14
@eduardo-rodrigues eduardo-rodrigues merged commit d9110f0 into main Feb 6, 2026
16 checks passed
@eduardo-rodrigues eduardo-rodrigues deleted the henryiii/chore/depgropus branch February 6, 2026 20:14
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants