Skip to content

Conversation

@wojcik91
Copy link
Contributor

@wojcik91 wojcik91 commented Oct 3, 2025

Allow using the same rust toolchain for the dev shell and building the package

@wojcik91 wojcik91 self-assigned this Oct 3, 2025
@wojcik91 wojcik91 merged commit b17b419 into dev Oct 3, 2025
3 checks passed
@wojcik91 wojcik91 deleted the share_rust_toolchain branch October 3, 2025 10:04
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.

3 participants