-
Notifications
You must be signed in to change notification settings - Fork 585
Pull requests: MinaProtocol/mina
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Use stricter error type in Work partitioner
#17730
opened Sep 5, 2025 by
georgeee
Loading…
7 tasks done
Add edition to trace tool Cargo.toml
enhancement
Not big enough to be a feature, but is a smaller improvement
#17727
opened Sep 5, 2025 by
glyh
Loading…
Runtime genesis ledger: fail if ledger is too shallow
enhancement
Not big enough to be a feature, but is a smaller improvement
#17726
opened Sep 5, 2025 by
glyh
Loading…
Upgrade Snark Worker Protocol Compatible
snark-worker-optim
Snark worker optimization: make workers operate on the level of individual proofs instead of whole t
#17724
opened Sep 5, 2025 by
glyh
Loading…
Compute precise hard fork source ledger information
#17722
opened Sep 4, 2025 by
cjjdespres
Loading…
Snark Worker Opt Protocol Update - dev
snark-worker-optim
Snark worker optimization: make workers operate on the level of individual proofs instead of whole t
Network Pool Base: fix misleading var name
enhancement
Not big enough to be a feature, but is a smaller improvement
#17718
opened Sep 4, 2025 by
glyh
Loading…
Documentations for snark worker optimization related modules
documentation
#17714
opened Sep 3, 2025 by
glyh
Loading…
[CI][HF] add check for change in archive between forks
#17713
opened Sep 2, 2025 by
dkijania
Loading…
fix: variable handling and command execution in deployment script
#17708
opened Sep 2, 2025 by
0xwitty
Loading…
7 tasks
Update proof-systems for web cache lagrange basis fix
#17707
opened Sep 2, 2025 by
ymekuria
Loading…
Add a test for all_accounts_on_masks
merkle-mask
tests
#17691
opened Aug 29, 2025 by
cjjdespres
Loading…
Signature_lib: introduce test vector for derive + PBT
#17688
opened Aug 28, 2025 by
dannywillems
Loading…
Refactor Snark Worker related metrics generation
refactor
snark-worker
#17686
opened Aug 28, 2025 by
glyh
Loading…
Previous Next
ProTip!
Mix and match filters to narrow down what you’re looking for.