build

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

Job	Run time
build (ubuntu-latest)	9m 38s
build (macos-13)	6m 57s
Check protos	1m 3s
build (windows-latest)	12m 3s
Check that MkDocs can build the docs	25s
build (ubuntu-latest, --all-features)	8m 18s
cargo-deny (advisories)	34s
Check formatting	19s
cargo-deny (bans licenses sources)	34s
Clippy check	3m 3s
	42m 54s

Provide feedback