Skip to content

Pull requests: MinaProtocol/mina

New pull request New
223 Open 10,726 Closed
223 Open 10,726 Closed
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
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Merge compatible into develop
#17541 opened Jul 15, 2025 by Geometer1729 Loading…
4
Toolchain: fix jammy deps
#17539 opened Jul 15, 2025 by dannywillems Loading…
2
CI: add hadolint for Dockerfiles
#17538 opened Jul 15, 2025 by dannywillems • Draft
4
[CI] Rremove magic config file on entrypoint run
#17537 opened Jul 15, 2025 by dkijania Loading…
@dkijania
9
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
Abstract snarked ledger type and add checkpoint operations ledger-migration refactor
#17534 opened Jul 14, 2025 by cjjdespres • Draft
17
CI: add shellcheck in toolchain
#17531 opened Jul 14, 2025 by dannywillems Loading…
6
Cleaning build log cleanup enhancement Not big enough to be a feature, but is a smaller improvement
#17529 opened Jul 14, 2025 by dannywillems Loading…
8
Additional documentation and tweaks for Debian publishing scripts
#17527 opened Jul 14, 2025 by dannywillems Loading…
1
Makefile: removing genesis_ledger target as old and out-dated
#17526 opened Jul 14, 2025 by dannywillems Loading…
2
Prettify reversion scripts and debian build
#17525 opened Jul 14, 2025 by dannywillems Loading…
10
archive perf test
#17522 opened Jul 11, 2025 by dkijania Loading…
@dkijania
7
Enforce markdown being wrapped at 80 chars
#17521 opened Jul 11, 2025 by dannywillems Loading…
3
Improving scripts used to regenerate the archive data
#17520 opened Jul 11, 2025 by dannywillems Loading…
15
Fix Typos in Documentation Files
#17515 opened Jul 10, 2025 by zeevick10 Loading…
Buildkite: refactor manager.sh
#17506 opened Jul 9, 2025 by dannywillems • Draft
1
[CI] Introduce scopes in place of mode
#17500 opened Jul 8, 2025 by dkijania Loading…
9
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
4
[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
12
[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
12
Push sig kind out of integration test lib and batch txn tool signature-kind-runtime-configurable
#17488 opened Jul 8, 2025 by glyh Loading…
2
Run dhall lint + rename if into if_
#17482 opened Jul 7, 2025 by dannywillems • Draft
1
Buildkite: simply removing extra spaces
#17480 opened Jul 7, 2025 by dannywillems • Draft
4
Instrumented docker builds for devnet docker-image
#17476 opened Jul 7, 2025 by glyh Loading…
5
[Don't merge] Test freeze alert lmdb-gc-interrupt-deadlock
#17475 opened Jul 7, 2025 by glyh • Draft
1
ProTip! Mix and match filters to narrow down what you’re looking for.