build

cli: add --tool=<name> option to diff/merge editing commands #9557

Job	Run time
Check protos	23s
Check that MkDocs can build the docs	27s
Check formatting	16s
build (ubuntu-latest)	3m 22s
build (macos-14)	2m 48s
Clippy check	2m 14s
build (windows-latest)	6m 49s
cargo-deny (advisories)	23s
build (ubuntu-latest, --all-features)	4m 14s
cargo-deny (bans licenses sources)	21s
Check that MkDocs can build the docs with Poetry 1.3.2	37s
	21m 54s

Provide feedback