build

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

Job	Run time
build (ubuntu-latest)	7m 45s
cargo-deny (advisories)	29s
build (macos-13)	4m 6s
Check protos	53s
cargo-deny (bans licenses sources)	28s
build (windows-latest)	12m 30s
build (ubuntu-latest, --all-features)	6m 36s
Clippy check	3m 47s
Check that MkDocs can build the docs	26s
Check formatting	23s
	37m 23s

Provide feedback