build

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

Job	Run time
Check protos	53s
build (ubuntu-latest)	9m 41s
build (macos-13)	4m 15s
build (windows-latest)	10m 12s
build (ubuntu-latest, --all-features)	6m 45s
cargo-deny (advisories)	56s
Clippy check	2m 52s
cargo-deny (bans licenses sources)	30s
Check that MkDocs can build the docs	24s
Check formatting	19s
	36m 47s

Provide feedback