build

settings: simply forward .get_<type>(key) to .get::<type>(key) #16515

Job	Run time
build (ubuntu-latest)	4m 57s
Build jj-lib without Git support	49s
build (macos-13)	8m 20s
cargo-deny (advisories)	24s
build (macos-14)	6m 53s
cargo-deny (bans licenses sources)	27s
Check protos	49s
build (windows-latest)	10m 53s
build (ubuntu-latest, --all-features)	6m 6s
Clippy check	2m 26s
Check that MkDocs can build the docs	9s
Check that MkDocs can build the docs with latest Python and uv	9s
Check formatting	18s
	42m 40s

Provide feedback