build

merge_tools: reorder `editor_args_from_settings` #6908

Job	Run time
cargo-deny (advisories)	35s
build (ubuntu-latest)	9m 9s
cargo-deny (bans licenses sources)	30s
build (macos-13)	3m 42s
build (windows-latest)	12m 7s
Check protos	40s
build (ubuntu-latest, --all-features)	6m 35s
Clippy check	2m 48s
Check that MkDocs can build the docs	24s
Check formatting	16s
	36m 46s

Provide feedback