build

describe: add ignore-rest directive #17272

Job	Run time
Build jj-lib without Git support	49s
build (ubuntu-latest)	5m 0s
cargo-deny (advisories)	23s
build (macos-13)	9m 3s
cargo-deny (bans licenses sources)	26s
Check protos	1m 26s
build (macos-14)	4m 59s
build (windows-latest)	9m 46s
Clippy check	3m 14s
Check that MkDocs can build the docs	13s
build (ubuntu-latest, --all-features)	6m 8s
Check that MkDocs can build the docs with latest Python and uv	11s
Check formatting	21s
	41m 59s

Provide feedback