build

diff: underline added/removed parts by default #11996

Job	Run time
build (ubuntu-latest)	4m 17s
Build jj-lib without Git support	1m 26s
cargo-deny (advisories)	23s
Check protos	46s
build (macos-14)	4m 52s
cargo-deny (bans licenses sources)	22s
build (windows-latest)	9m 1s
Clippy check	2m 24s
build (ubuntu-latest, --all-features)	5m 3s
Check that MkDocs can build the docs	21s
Check that MkDocs can build the docs with Poetry 1.8	24s
Check formatting	16s
	29m 35s

Provide feedback