build

feat: add support for push options #13647

Job	Run time
Build jj-lib without Git support	44s
Check protos	24s
build (ubuntu-latest)	4m 19s
build (macos-13)	5m 7s
build (macos-14)	3m 55s
build (windows-latest)	8m 56s
cargo-deny (advisories)	22s
build (ubuntu-latest, --all-features)	5m 37s
Clippy check	2m 38s
cargo-deny (bans licenses sources)	25s
Check that MkDocs can build the docs	21s
Check that MkDocs can build the docs with Poetry 1.8	21s
Check formatting	14s
	33m 23s

Provide feedback