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 formatting
25s
Check that MkDocs can build the docs
32s
Clippy check
2m 53s
Matrix: build
Matrix: cargo-deny