build

merge_tools: reorder `editor_args_from_settings` #6919

Job	Run time
cargo-deny (advisories)	27s
build (ubuntu-latest)	7m 44s
build (macos-13)	4m 14s
build (windows-latest)	13m 9s
cargo-deny (bans licenses sources)	27s
Check protos	52s
Clippy check	3m 32s
build (ubuntu-latest, --all-features)	7m 51s
Check formatting	24s
Check that MkDocs can build the docs	33s
	39m 13s

Provide feedback