Skip to content

copies: filter rename source entries by CopiesTreeDiffStream #13612

copies: filter rename source entries by CopiesTreeDiffStream

copies: filter rename source entries by CopiesTreeDiffStream #13612

Triggered via pull request August 21, 2024 13:34
Status Success
Total duration 9m 3s
Artifacts

build.yml

on: pull_request
Build jj-lib without Git support
45s
Build jj-lib without Git support
Check protos
51s
Check protos
Check formatting
20s
Check formatting
Check that MkDocs can build the docs
33s
Check that MkDocs can build the docs
Check that MkDocs can build the docs with Poetry 1.8
27s
Check that MkDocs can build the docs with Poetry 1.8
Clippy check
2m 45s
Clippy check
Matrix: build
Matrix: cargo-deny
Fit to window
Zoom out
Zoom in