config-schema: expand options for ui.editor, ui.diff.tool, and ui.pager
#19282
| Job | Run time |
|---|---|
| 1m 15s | |
| 33s | |
| 6m 15s | |
| 4m 36s | |
| 28s | |
| 2m 33s | |
| 7m 15s | |
| 28s | |
| 5m 33s | |
| 3m 2s | |
| 8s | |
| 13m 52s | |
| 10s | |
| 7m 1s | |
| 10s | |
| 19s | |
| 53m 38s |