Skip to content

Add a concurrent tree-diffing algo #7677

Add a concurrent tree-diffing algo

Add a concurrent tree-diffing algo #7677

Triggered via pull request November 3, 2023 21:15
Status Success
Total duration 11m 11s
Artifacts

build.yml

on: pull_request
Check protos
48s
Check protos
Check formatting
22s
Check formatting
Check that MkDocs can build the docs
23s
Check that MkDocs can build the docs
Clippy check
2m 17s
Clippy check
Matrix: build
Matrix: cargo-deny
Fit to window
Zoom out
Zoom in