Skip to content

Bump leanSpec f12000b, strip production JSON derives#105

Merged
ArtiomTr merged 3 commits into
grandinetech:devnet-4from
bomanaps:bumb/devnet4Test
Jun 17, 2026
Merged

Bump leanSpec f12000b, strip production JSON derives#105
ArtiomTr merged 3 commits into
grandinetech:devnet-4from
bomanaps:bumb/devnet4Test

Commits