Skip to content

Rename typing modes to better describe real usage#157667

Merged
rust-bors[bot] merged 3 commits into
rust-lang:mainfrom
jdonszelmann:rename-typingmode-again
Jun 12, 2026
Merged

Rename typing modes to better describe real usage#157667
rust-bors[bot] merged 3 commits into
rust-lang:mainfrom
jdonszelmann:rename-typingmode-again

review

ad6fa33
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Calculate job matrix
succeeded Jun 11, 2026 in 1m 37s