config-schema: expand options for ui.editor
, ui.diff.tool
, and `u…
#19298
build.yml
on: push
Build without Git support
1m 16s
Check protos
43s
Check formatting
17s
Codespell
11s
Run doctests
2m 36s
Check that MkDocs can build the docs
10s
Check that MkDocs can build the docs with latest Python and uv
11s
Clippy check
2m 49s
Matrix: build
Matrix: cargo-deny