build

merge tools: split DiffEditWorkingCopies from DiffWorkingCopies #9820

Job	Run time
build (ubuntu-latest)	3m 21s
Check that MkDocs can build the docs	20s
build (macos-14)	2m 45s
Check formatting	16s
build (windows-latest)	7m 30s
build (ubuntu-latest, --all-features)	4m 15s
cargo-deny (advisories)	26s
Clippy check	2m 28s
cargo-deny (bans licenses sources)	55s
Check that MkDocs can build the docs with Poetry 1.3.2	31s
Check protos	25s
	23m 12s

Provide feedback