build

diff_util: add copy records tracking to `DiffRenderer::show_patch` #13223

Job	Run time
Build jj-lib without Git support	45s
cargo-deny (advisories)	25s
build (ubuntu-latest)	4m 31s
Check protos	36s
cargo-deny (bans licenses sources)	22s
build (macos-14)	4m 10s
Clippy check	2m 39s
build (windows-latest)	9m 26s
Check that MkDocs can build the docs	19s
Check that MkDocs can build the docs with Poetry 1.8	25s
build (ubuntu-latest, --all-features)	6m 38s
Check formatting	14s
	30m 30s

Provide feedback