build

describe: add ignore-rest directive #17224

Job	Run time
Check protos	31s
build (ubuntu-latest)	2m 48s
build (macos-13)	2m 50s
build (macos-14)	2m 49s
Build jj-lib without Git support	46s
build (windows-latest)	2m 33s
cargo-deny (advisories)	25s
build (ubuntu-latest, --all-features)	2m 48s
Clippy check	2m 47s
cargo-deny (bans licenses sources)	24s
Check that MkDocs can build the docs	8s
Check that MkDocs can build the docs with latest Python and uv	14s
Check formatting	17s
	19m 20s

Provide feedback