merged_tree: minor refactor of TreeDiffStreamImpl #16751
Triggered via pull request
November 30, 2024 01:09
yuja
Status
Success
Total duration
10m 48s
Artifacts
–
build.yml
on: pull_request
Build jj-lib without Git support
46s
Check protos
31s
Check formatting
17s
Check that MkDocs can build the docs
15s
Check that MkDocs can build the docs with latest Python and uv
10s
Clippy check
2m 33s
Matrix: build
Matrix: cargo-deny