build

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

Job	Run time
build (ubuntu-latest)	7m 49s
cargo-deny (advisories)	30s
cargo-deny (bans licenses sources)	30s
Check protos	38s
build (macos-13)	5m 28s
Clippy check	3m 4s
Check that MkDocs can build the docs	31s
build (windows-latest)	12m 53s
Check formatting	15s
build (ubuntu-latest, --all-features)	8m 11s
	39m 49s

Provide feedback