Skip to content

wip: [develop] dependencies#4742

Closed
baszalmstra wants to merge 24 commits intoprefix-dev:mainfrom
baszalmstra:wip/develop-dependencies
Closed

wip: [develop] dependencies#4742
baszalmstra wants to merge 24 commits intoprefix-dev:mainfrom
baszalmstra:wip/develop-dependencies

Conversation

@baszalmstra
Copy link
Contributor

@baszalmstra baszalmstra commented Oct 13, 2025

Initial implementation of #4721

TODO

Questions

  • Check how this works together with solve-groups.

@baszalmstra
Copy link
Contributor Author

Superseded by #4778

@baszalmstra baszalmstra deleted the wip/develop-dependencies branch March 26, 2026 08:28
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.

2 participants