git: use merged parent tree for git index #17334
Triggered via pull request
December 29, 2024 02:43
Status
Success
Total duration
10m 41s
Artifacts
–
build.yml
on: pull_request
Build jj-lib without Git support
51s
Check protos
40s
Check formatting
18s
Check that MkDocs can build the docs
10s
Check that MkDocs can build the docs with latest Python and uv
11s
Clippy check
2m 45s
Matrix: build
Matrix: cargo-deny
Annotations
10 warnings