build

Retire `auto` from `ui.movement.edit` #13533

Job	Run time
Build jj-lib without Git support	45s
Check protos	24s
cargo-deny (advisories)	22s
build (ubuntu-latest)	4m 33s
cargo-deny (bans licenses sources)	24s
Clippy check	2m 38s
Check that MkDocs can build the docs	26s
build (macos-13)	12m 46s
build (macos-14)	4m 10s
Check that MkDocs can build the docs with Poetry 1.8	31s
Check formatting	17s
build (windows-latest)	9m 27s
build (ubuntu-latest, --all-features)	5m 26s
	42m 9s

Provide feedback