Skip to content

Issues: MinaProtocol/mina

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

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
Assignee
Filter by who’s assigned
Sort

Issues list

Mina daemon container does not run on Mac M1 bug triage
#15777 opened Jun 26, 2024 by vlad2095
2 tasks done
Run experiments with 2 minute slot time
#15774 opened Jun 24, 2024 by amc-ie
Packaging of load testing tooling
#15773 opened Jun 24, 2024 by amc-ie
Snark work production dashboard
#15771 opened Jun 24, 2024 by georgeee
1 of 2 tasks
Package ITN orchestrator
#15768 opened Jun 20, 2024 by georgeee
Document Mina daemon's databases
#15767 opened Jun 20, 2024 by georgeee
MIP: deletable accounts
#15746 opened Jun 13, 2024 by rbonichon
RFC: deletable accounts RFC A label for RFCs (request for comments)
#15745 opened Jun 13, 2024 by rbonichon
Bug: Dead link not opening
#15735 opened Jun 10, 2024 by olalekan165
2 tasks done
Bug: Deadlink on the rosetta readme file
#15734 opened Jun 10, 2024 by Dalu26
2 tasks done
Bug: Dead link not opening
#15733 opened Jun 10, 2024 by olalekan165
2 tasks done
Deadlink on docs
#15732 opened Jun 10, 2024 by sulaimon23
2 tasks done
Unable to resubmit transactions
#15721 opened Jun 6, 2024 by deepthiskumar
Fix interpreter soundness FIXME's
#15709 opened May 31, 2024 by joseandro
Prove and verify folded instructions
#15708 opened May 31, 2024 by joseandro
Debug decomposable folding
#15707 opened May 31, 2024 by joseandro
ProTip! Exclude everything labeled bug with -label:bug.