build

merge_tools: reorder `editor_args_from_settings` #6914

Job	Run time
build (ubuntu-latest)	8m 34s
Check protos	47s
Check formatting	18s
build (macos-13)	4m 31s
build (windows-latest)	10m 18s
build (ubuntu-latest, --all-features)	6m 30s
cargo-deny (advisories)	31s
cargo-deny (bans licenses sources)	36s
Clippy check	3m 28s
Check that MkDocs can build the docs	30s
	36m 3s

Provide feedback