Skip to content

chore: use dependency groups for devel deps#2328

Merged
nijel merged 1 commit intomainfrom
dep-groups
Mar 16, 2026
Merged

chore: use dependency groups for devel deps#2328
nijel merged 1 commit intomainfrom
dep-groups

Conversation

@nijel
Copy link
Member

@nijel nijel commented Mar 16, 2026

This separaters that from runtime extras.

@nijel nijel self-assigned this Mar 16, 2026
@nijel nijel enabled auto-merge (rebase) March 16, 2026 08:22
@nijel nijel force-pushed the dep-groups branch 2 times, most recently from 6086399 to 65cf795 Compare March 16, 2026 10:10
This separaters that from runtime extras.
@nijel nijel merged commit 2c6cb8a into main Mar 16, 2026
20 checks passed
@nijel nijel deleted the dep-groups branch March 16, 2026 11:16
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant