Skip to content

settings_ui: Make font size settings use editable number fields (#45875) #504

settings_ui: Make font size settings use editable number fields (#45875)

settings_ui: Make font size settings use editable number fields (#45875) #504

Triggered via push December 30, 2025 21:57
Status Success
Total duration 13m 34s
Artifacts
Check formatting and Clippy lints
2m 30s
Check formatting and Clippy lints
Publish collab server image
6m 20s
Publish collab server image
Deploy new server image
32s
Deploy new server image
Fit to window
Zoom out
Zoom in