Skip to content

merge_tools: enable :builtin as default diff/merge editor #6989

merge_tools: enable :builtin as default diff/merge editor

merge_tools: enable :builtin as default diff/merge editor #6989

Triggered via push September 21, 2023 01:29
Status Success
Total duration 12m 24s
Artifacts

build.yml

on: push
Check protos
1m 3s
Check protos
Check formatting
19s
Check formatting
Check that MkDocs can build the docs
25s
Check that MkDocs can build the docs
Clippy check
3m 3s
Clippy check
Matrix: build
Matrix: cargo-deny
Fit to window
Zoom out
Zoom in