build

nix: add name to devshell #17392

Job	Run time
build (ubuntu-latest)	4m 56s
build (macos-13)	6m 47s
build (macos-14)	4m 8s
build (windows-latest)	8m 54s
build (ubuntu-latest, --all-features)	6m 5s
Build jj-lib without Git support	46s
Check protos	25s
Check formatting	16s
Run doctests	2m 19s
Check that MkDocs can build the docs	10s
cargo-deny (advisories)	24s
Clippy check	2m 36s
Check that MkDocs can build the docs with latest Python and uv	11s
cargo-deny (bans licenses sources)	22s
	38m 19s

Provide feedback