Skip to content

Conversation

dannywillems
Copy link
Member

No description provided.

@0xMimir 0xMimir force-pushed the feat/update-proof-systems branch from e588f13 to a698357 Compare September 2, 2025 12:24
@0xMimir 0xMimir force-pushed the feat/update-proof-systems branch from a698357 to 71fb876 Compare September 2, 2025 12:45
@dannywillems dannywillems moved this to In Progress in Rust node Sep 2, 2025
@dannywillems dannywillems marked this pull request as draft September 2, 2025 15:02
@dannywillems dannywillems linked an issue Sep 2, 2025 that may be closed by this pull request
5 tasks
@dannywillems dannywillems force-pushed the dw/use-master-proof-systems branch from 0dc2b17 to 8429ac2 Compare September 2, 2025 15:36
@dannywillems dannywillems force-pushed the dw/use-master-proof-systems branch 5 times, most recently from 4c47512 to 8b407d4 Compare September 3, 2025 12:08
@0xMimir 0xMimir force-pushed the feat/update-proof-systems branch 3 times, most recently from c4c49d5 to ff9e4d3 Compare September 4, 2025 10:59
@dannywillems dannywillems changed the base branch from feat/update-proof-systems to develop September 4, 2025 16:24
@dannywillems dannywillems force-pushed the dw/use-master-proof-systems branch 3 times, most recently from 7ce0376 to 3870256 Compare September 4, 2025 16:43
@dannywillems dannywillems changed the base branch from develop to dw/num-bigint-generics September 4, 2025 17:07
@dannywillems dannywillems force-pushed the dw/use-master-proof-systems branch 2 times, most recently from d5ebac4 to 9f697c8 Compare September 4, 2025 19:45
@dannywillems dannywillems force-pushed the dw/num-bigint-generics branch from 8e6d756 to 9393da4 Compare September 5, 2025 11:56
@dannywillems dannywillems force-pushed the dw/use-master-proof-systems branch from 9f697c8 to ebc3030 Compare September 5, 2025 11:56
@dannywillems
Copy link
Member Author

Closing as #1383

@github-project-automation github-project-automation bot moved this from In Progress to Done in Rust node Sep 9, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

Deps: updating proof-systems to the same version that the OCaml node uses

1 participant