build

External merge tools: better error message for unsupported usage #10875

Job	Run time
build (ubuntu-latest)	3m 43s
build (macos-14)	3m 11s
build (windows-latest)	7m 34s
build (ubuntu-latest, --all-features)	4m 43s
Check protos	33s
Check that MkDocs can build the docs	35s
Check that MkDocs can build the docs with Poetry 1.3.2	41s
Check formatting	13s
cargo-deny (advisories)	23s
cargo-deny (bans licenses sources)	30s
Clippy check	2m 23s
	24m 29s

Provide feedback