Skip to content

Shift on the typed word: keep it a typed word - #733

Closed
4di-hello wants to merge 1 commit into
LeanBitLab:mainfrom
4di-hello:fix/shift-recapitalize-typed-word
Closed

4di-hello wants to merge 1 commit into
LeanBitLab:mainfrom
4di-hello:fix/shift-recapitalize-typed-word

Shift on the typed word: keep it a typed word

c7cf1ea
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

3 warnings and 1 notice
build
succeeded Oct 26, 2026 in 3m 37s