Skip to content

merge_tools: create builtin merge editor #6930

merge_tools: create builtin merge editor

merge_tools: create builtin merge editor #6930

Triggered via push September 18, 2023 04:33
Status Success
Total duration 10m 58s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

build.yml

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