Skip to content

Conversation

dannywillems
Copy link
Member

@dannywillems dannywillems commented Aug 25, 2025

See history here: https://github.com/o1-labs/redux-rs.

Part of #1326, part of #1354

@dannywillems dannywillems force-pushed the dw/use-o1-labs-redux-rs branch 2 times, most recently from 7e1e0b7 to b764f28 Compare August 25, 2025 17:35
@dannywillems dannywillems requested a review from 0xMimir August 25, 2025 17:36
@dannywillems dannywillems enabled auto-merge August 25, 2025 17:37
@dannywillems dannywillems force-pushed the dw/use-o1-labs-redux-rs branch from b764f28 to 67c2abd Compare August 26, 2025 11:25
@dannywillems dannywillems disabled auto-merge August 26, 2025 12:33
@dannywillems dannywillems merged commit 9f03722 into develop Aug 26, 2025
57 of 60 checks passed
@dannywillems dannywillems linked an issue Aug 26, 2025 that may be closed by this pull request
1 task
@yamimaio yamimaio moved this to Todo in Rust node Aug 28, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
Status: Todo
Development

Successfully merging this pull request may close these issues.

Review tizoc documentation
2 participants