build

merge_tools: enable `:builtin` as default diff/merge editor #6861

Job	Run time
Check protos	45s
Clippy check	3m 35s
cargo-deny (advisories)	38s
build (ubuntu-latest)	7m 34s
cargo-deny (bans licenses sources)	26s
Check that MkDocs can build the docs	37s
build (macos-13)	3m 38s
Check formatting	18s
build (windows-latest)	14m 21s
build (ubuntu-latest, --all-features)	6m 26s
	38m 18s

Provide feedback