Skip to content

fix: cycle thinking level in lean tui#3246

Merged
dgageot merged 1 commit into
docker:mainfrom
rumpl:lean-tui-shift-tab-thinking
Jun 26, 2026
Merged

fix: cycle thinking level in lean tui#3246
dgageot merged 1 commit into
docker:mainfrom
rumpl:lean-tui-shift-tab-thinking

fix: cycle thinking level in lean tui

1317ada
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
build-and-test
succeeded Jun 26, 2026 in 6m 16s