build

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

Job	Run time
build (ubuntu-latest)	7m 21s
cargo-deny (advisories)	27s
build (macos-13)	5m 0s
Clippy check	2m 53s
cargo-deny (bans licenses sources)	27s
Check protos	49s
build (windows-latest)	10m 55s
build (ubuntu-latest, --all-features)	7m 20s
Check that MkDocs can build the docs	32s
Check formatting	25s
	36m 9s

Provide feedback