git: use merged parent tree for git index #17342
Triggered via pull request
December 29, 2024 17:24
Status
Success
Total duration
11m 26s
Artifacts
–
build.yml
on: pull_request
Build jj-lib without Git support
46s
Check protos
27s
Check formatting
19s
Check that MkDocs can build the docs
10s
Check that MkDocs can build the docs with latest Python and uv
15s
Clippy check
2m 42s
Matrix: build
Matrix: cargo-deny
Annotations
10 warnings