Skip to content

Pull requests: MinaProtocol/mina

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort

Pull requests list

[CI] Support deb_suffix in MinaArtifact command.
#17657 opened Aug 21, 2025 by dkijania Loading…
Prepare fork config inputs in mina_lib
#17655 opened Aug 21, 2025 by cjjdespres Loading…
Use app state increase in Account.Unstable
#17654 opened Aug 21, 2025 by cjjdespres Loading…
6 of 7 tasks
Consider TMPDIR in computing s3_install_path
#17653 opened Aug 21, 2025 by georgeee Loading…
7 tasks done
Fix & improve HF package verification script
#17652 opened Aug 21, 2025 by georgeee Loading…
7 tasks done
Various helper functions in Snark Work Lib snark-worker-optim Snark worker optimization: make workers operate on the level of individual proofs instead of whole t
#17648 opened Aug 21, 2025 by glyh Loading…
Snark Worker: Backport change from develop to compatible snark-worker-optim Snark worker optimization: make workers operate on the level of individual proofs instead of whole t
#17647 opened Aug 21, 2025 by glyh Loading…
Update Snark Worker RPCs snark-worker-optim Snark worker optimization: make workers operate on the level of individual proofs instead of whole t
#17644 opened Aug 20, 2025 by glyh Draft
Pass back spec on successful result combination in partitioner snark-worker-optim Snark worker optimization: make workers operate on the level of individual proofs instead of whole t
#17643 opened Aug 20, 2025 by glyh Loading…
Snark Worker & Snark Coordinator: disable metrics generation snark-worker-optim Snark worker optimization: make workers operate on the level of individual proofs instead of whole t
#17642 opened Aug 20, 2025 by glyh Loading…
use release toolkit in toolchain
#17635 opened Aug 19, 2025 by dkijania Draft
7 tasks
String_sign: remove and replace with actual call
#17630 opened Aug 14, 2025 by dannywillems Loading…
Signature_lib: add regtest + documentation
#17629 opened Aug 14, 2025 by dannywillems Loading…
Secrets: move from inline tests to Alcotest
#17614 opened Aug 11, 2025 by dannywillems Loading…
make dhalls compliant with 1.41.1
#17609 opened Aug 6, 2025 by dkijania Loading…
Document purpose of Mina_{lib, run} documentation
#17582 opened Jul 28, 2025 by glyh Loading…
ProTip! Type g i on any issue or pull request to go back to the issue listing page.