Skip to content
build

merged_tree: let backend influence whether to use new diff algo #7738

Sign in to view logs

merged_tree: let backend influence whether to use new diff algo

merged_tree: let backend influence whether to use new diff algo #7738

Triggered via push November 7, 2023 07:12
@martinvonzmartinvonz
pushed d989d40
main
Status Success
Total duration 11m 16s
Artifacts –

build.yml

on: push
Check protos
44s
Check protos
Check formatting
15s
Check formatting
Check that MkDocs can build the docs
24s
Check that MkDocs can build the docs
Check that MkDocs can build the docs with Poetry 1.3.2
35s
Check that MkDocs can build the docs with Poetry 1.3.2
Clippy check
2m 12s
Clippy check
Matrix: build
Matrix: cargo-deny
Fit to window
Zoom out
Zoom in