Skip to content

merge_tools: reorder editor_args_from_settings #6951

merge_tools: reorder editor_args_from_settings

merge_tools: reorder editor_args_from_settings #6951

Triggered via push September 19, 2023 05:27
Status Success
Total duration 12m 13s
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
43s
Check protos
Check formatting
16s
Check formatting
Check that MkDocs can build the docs
27s
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