build

Follow ups on post #4282 submission comments. #13503

Job	Run time
build (ubuntu-latest)	4m 25s
Build jj-lib without Git support	43s
cargo-deny (advisories)	22s
build (macos-13)	5m 50s
cargo-deny (bans licenses sources)	25s
build (macos-14)	3m 37s
Check protos	53s
build (windows-latest)	8m 20s
Clippy check	2m 43s
build (ubuntu-latest, --all-features)	5m 26s
Check that MkDocs can build the docs	22s
Check that MkDocs can build the docs with Poetry 1.8	24s
Check formatting	16s
	33m 46s

Provide feedback