build

Not performance improvements :) #16700

Job	Run time
build (ubuntu-latest)	5m 16s
build (macos-13)	7m 38s
Build jj-lib without Git support	44s
build (macos-14)	4m 59s
cargo-deny (advisories)	23s
build (windows-latest)	10m 48s
Check protos	29s
cargo-deny (bans licenses sources)	23s
build (ubuntu-latest, --all-features)	6m 20s
Clippy check	2m 35s
Check that MkDocs can build the docs	13s
Check that MkDocs can build the docs with latest Python and uv	17s
Check formatting	18s
	40m 23s

Provide feedback