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