Skip to content

formal(P2): make CeremonyStore actually TLC-checkable + model-check it green#240

Merged
hartsock merged 1 commit into
mainfrom
formal/p2-store-tlc-checked
Jul 17, 2026
Merged

formal(P2): make CeremonyStore actually TLC-checkable + model-check it green#240
hartsock merged 1 commit into
mainfrom
formal/p2-store-tlc-checked

formal(P2): make CeremonyStore actually TLC-checkable + model-check i…

441ed51
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar