-
Notifications
You must be signed in to change notification settings - Fork 543
Pull requests: MinaProtocol/mina
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Remove now-unnecessary
Pickles.compile
parameter ~constraint_constants
#16446
opened Dec 27, 2024 by
mrmr1993
Loading…
Simplify snarky
Typ.t
, removing unnecessary type parameters
#16433
opened Dec 16, 2024 by
mrmr1993
Loading…
Transaction_snark: remove useless discard of warning 67
#16431
opened Dec 16, 2024 by
dannywillems
Loading…
7 tasks
Pickles/dune: stop ignoring some warnings
#16430
opened Dec 16, 2024 by
dannywillems
Loading…
7 tasks
[trivial] Transaction_snark/README: enforcing 80 characters limits
#16428
opened Dec 16, 2024 by
dannywillems
Loading…
7 tasks
[trivial] Mina_wire_types/test: stop discarding warning
#16427
opened Dec 16, 2024 by
dannywillems
Loading…
7 tasks
[trivial/compatible] Dune/lib: run `dune build @fmt --auto-promote
#16426
opened Dec 16, 2024 by
dannywillems
Loading…
7 tasks
Kimchi-bindings/wasm: stop using nightly and rm ft get_mut_unchecked
#16411
opened Dec 11, 2024 by
dannywillems
Loading…
7 tasks
Previous Next
ProTip!
Find all pull requests that aren't related to any open issues with -linked:issue.