Skip to content

test: complete GI full stateful invariant verification - #17

Merged
garykocsis merged 1 commit into
mainfrom
feat/gi-stateful-invariant-verification
Sep 9, 2026
Merged

garykocsis merged 1 commit into
mainfrom
feat/gi-stateful-invariant-verification

test: add full stateful invariant verification

182328b
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
forge fmt / build / test
succeeded Sep 9, 2026 in 8m 12s