Pull requests: IntersectMBO/mithril
Pull requests list
test(stm): consolidate the certificate proof tests around the golden proof
run-slow-tests
Technical label to run slow tests tiers in the CI.
#3483
opened Aug 19, 2026 by
hjeljeli32
Collaborator
Loading…
8 of 10 tasks
Implement chain adapater to read on chain protocol configurations
#3482
opened Aug 17, 2026 by
turmelclem
Contributor
•
Draft
6 of 14 tasks
refactor(stm): cache the circuit test fixtures on disk
run-slow-tests
Technical label to run slow tests tiers in the CI.
#3481
opened Aug 17, 2026 by
hjeljeli32
Collaborator
Loading…
8 of 10 tasks
feat(stm): add missing off circuit checks
#3480
opened Aug 13, 2026 by
damrobi
Collaborator
Loading…
5 of 9 tasks
refactor(aggregator): deterministic snapshots archives
question ❓
Further information is requested
refactoring 🛠️
Code refactoring and enhancements
#3479
opened Aug 13, 2026 by
Alenar
Collaborator
Loading…
9 of 11 tasks
Replace protocol-config placeholders by newly generated verification key and address
#3478
opened Aug 11, 2026 by
turmelclem
Contributor
•
Draft
14 tasks
Add a new protocol configuration markers runbook
#3451
opened Aug 3, 2026 by
turmelclem
Contributor
•
Draft
14 tasks
ProTip!
Filter pull requests by the default branch with base:main.