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

Merge compatible into develop
#17541 opened Jul 15, 2025 by Geometer1729 Draft
Toolchain: fix jammy deps
#17539 opened Jul 15, 2025 by dannywillems Loading…
remove magic config file on entrypoint run
#17537 opened Jul 15, 2025 by dkijania Draft
7 tasks
Dummy Commits Collector July 2025 enhancement Not big enough to be a feature, but is a smaller improvement
#17535 opened Jul 15, 2025 by glyh Draft
CI: add shellcheck in toolchain
#17531 opened Jul 14, 2025 by dannywillems Loading…
Cleaning build log
#17529 opened Jul 14, 2025 by dannywillems Loading…
Prettify reversion scripts and debian build
#17525 opened Jul 14, 2025 by dannywillems Loading…
archive perf test
#17522 opened Jul 11, 2025 by dkijania Loading…
Enforce markdown being wrapped at 80 chars
#17521 opened Jul 11, 2025 by dannywillems Loading…
Lmdb: use batch remove to multiple keys enhancement Not big enough to be a feature, but is a smaller improvement lmdb
#17517 opened Jul 11, 2025 by glyh Loading…
Fix Typos in Documentation Files
#17515 opened Jul 10, 2025 by zeevick10 Loading…
[CI] Introduce scopes in place of mode
#17500 opened Jul 8, 2025 by dkijania Loading…
Mina_base: reactivate tests from account.ml and move to Alcotest enhancement Not big enough to be a feature, but is a smaller improvement
#17499 opened Jul 8, 2025 by dannywillems Draft
[DON'T MERGE] Testing snark worker update snark-worker-optim Snark worker optimization: make workers operate on the level of individual proofs instead of whole t
#17498 opened Jul 8, 2025 by glyh Draft
[DON'T MERGE] Various observability improvement enhancement Not big enough to be a feature, but is a smaller improvement observability
#17491 opened Jul 8, 2025 by glyh Draft
Restructure merkle ledger tests, updated tests
#17486 opened Jul 7, 2025 by cjjdespres Loading…
ProTip! Updated in the last three days: updated:>2025-07-12.