Skip to content

merge_tools: clean up Diff/MergeEditor interface #9498

merge_tools: clean up Diff/MergeEditor interface

merge_tools: clean up Diff/MergeEditor interface #9498

Triggered via pull request March 2, 2024 03:44
Status Success
Total duration 7m 18s
Artifacts

build.yml

on: pull_request
Check protos
22s
Check protos
Check formatting
17s
Check formatting
Check that MkDocs can build the docs
21s
Check that MkDocs can build the docs
Check that MkDocs can build the docs with Poetry 1.3.2
42s
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