Skip to content
Back to pull request #4250

merged_tree: split function that merges trees without resolving conflicts #13170

Sign in to view logs

merged_tree: split function that merges trees without resolving conflicts

merged_tree: split function that merges trees without resolving conflicts #13170

Triggered via pull request August 11, 2024 02:50
@yujayuja
synchronize #4250
yuja:push-qwozyprmmtuo
Status Success
Total duration 9m 31s
Artifacts –

build.yml

on: pull_request
Build jj-lib without Git support
44s
Build jj-lib without Git support
Check protos
32s
Check protos
Check formatting
15s
Check formatting
Check that MkDocs can build the docs
25s
Check that MkDocs can build the docs
Check that MkDocs can build the docs with Poetry 1.8
24s
Check that MkDocs can build the docs with Poetry 1.8
Clippy check
2m 36s
Clippy check
Matrix: build
Matrix: cargo-deny
Fit to window
Zoom out
Zoom in