Skip to content

Conversation

@heueristik
Copy link
Collaborator

@heueristik heueristik commented Oct 16, 2025

As suggested by @m1dnight, we can use the new soldeer package manager and get rid of the complexity of git submodules.

@heueristik heueristik marked this pull request as draft October 16, 2025 11:20
@heueristik heueristik self-assigned this Oct 16, 2025
@heueristik heueristik changed the base branch from main to develop October 16, 2025 16:01
@heueristik heueristik marked this pull request as ready for review October 24, 2025 08:42
@heueristik heueristik marked this pull request as draft October 24, 2025 10:59
@heueristik
Copy link
Collaborator Author

heueristik commented Oct 24, 2025

Made it draft again because of mario-eth/soldeer#339, which poses a problem for our project.

Base automatically changed from develop to main November 10, 2025 16:30
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