Skip to content

fix state chain total_time_to_proof using el block time - #398

Open
mooncitydev wants to merge 2 commits into
GOATNetwork:devfrom
mooncitydev:fix/state-chain-total-time-to-proof
Open

fix state chain total_time_to_proof using el block time#398
mooncitydev wants to merge 2 commits into
GOATNetwork:devfrom
mooncitydev:fix/state-chain-total-time-to-proof

Merge branch 'dev' into fix/state-chain-total-time-to-proof

9e10cfd
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

2 warnings
TLA+ Formal Verification
succeeded Sep 4, 2026 in 27s