build

merge_tools: pass `Matcher` in for interactive use #6986

Job	Run time
build (ubuntu-latest)	7m 50s
Check protos	50s
cargo-deny (advisories)	28s
build (macos-13)	5m 44s
Clippy check	2m 49s
cargo-deny (bans licenses sources)	28s
build (windows-latest)	14m 27s
Check that MkDocs can build the docs	23s
build (ubuntu-latest, --all-features)	8m 17s
Check formatting	15s
	41m 31s

Provide feedback