chore(deps): bump leanSpec to f12000b (pre-devnet5), rename fork to Lstar#391

Merged

MegaRedHand merged 3 commits into

mainfrom

chore/bump-leanspec-fixture-fork

May 27, 2026

Commits on May 26, 2026

chore(deps): bump leanSpec to 825bec6, rename fork to Lstar
MegaRedHand
committed
ci: rename fork from Devnet to Lstar in fixture generation
MegaRedHand
committed

Commits on May 27, 2026

fix(deps): pin leanSpec to f12000b (pre-devnet5) to keep make test green
MegaRedHand
committed