Skip to content

config-schema: expand options for ui.editor, ui.diff.tool, and ui.pager #8035

config-schema: expand options for ui.editor, ui.diff.tool, and ui.pager

config-schema: expand options for ui.editor, ui.diff.tool, and ui.pager #8035

Triggered via pull request February 11, 2025 00:29
Status Success
Total duration 9m 38s
Artifacts

build-nix.yml

on: pull_request
Matrix: flake check
Fit to window
Zoom out
Zoom in