Skip to content

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

merge_tools: enable :builtin as default diff/merge editor

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

Triggered via pull request September 20, 2023 18:54
Status Success
Total duration 15m 29s
Artifacts

build.yml

on: pull_request
Check protos
49s
Check protos
Check formatting
25s
Check formatting
Check that MkDocs can build the docs
32s
Check that MkDocs can build the docs
Clippy check
2m 53s
Clippy check
Matrix: build
Matrix: cargo-deny
Fit to window
Zoom out
Zoom in