build

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

Job	Run time
build (ubuntu-latest)	8m 59s
build (macos-13)	4m 13s
cargo-deny (advisories)	28s
build (windows-latest)	14m 16s
Check protos	41s
cargo-deny (bans licenses sources)	28s
build (ubuntu-latest, --all-features)	7m 4s
Clippy check	2m 51s
Check that MkDocs can build the docs	25s
Check formatting	18s
	39m 43s

Provide feedback