Skip to content

Conversation

juan518munoz
Copy link
Collaborator

@juan518munoz juan518munoz commented Sep 26, 2025

Update miden-objects dependency to latest commit. Needed for 0xMiden/miden-client#1308

Needed for 0xMiden/miden-client#1339

@juan518munoz juan518munoz added the no changelog This PR does not require an entry in the `CHANGELOG.md` file label Sep 26, 2025
@sergerad sergerad merged commit 56d311a into next Sep 26, 2025
17 checks passed
@sergerad sergerad deleted the jmunoz-update-miden-base-version branch September 26, 2025 21:14
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

no changelog This PR does not require an entry in the `CHANGELOG.md` file

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants