Skip to content

feat(lean,#14773): bump lean_game_defs v4.32.1 -> v4.33.0 (Phase 1 core-only) - #17294

Merged
myia-ai-01 merged 1 commit into
mainfrom
feature/14773-lean-game-defs-4.33
Sep 22, 2026
Merged

feat(lean,#14773): bump lean_game_defs v4.32.1 -> v4.33.0 (Phase 1 core-only)#17294
myia-ai-01 merged 1 commit into
mainfrom
feature/14773-lean-game-defs-4.33

Commits

Commits on Sep 21, 2026