Skip to content

ux: remove Use monospace font only in text editor option in `Prefer… #602

ux: remove Use monospace font only in text editor option in `Prefer…

ux: remove Use monospace font only in text editor option in `Prefer… #602

Triggered via push October 15, 2025 09:39
Status Success
Total duration 53s
Artifacts

format-check.yml

on: push
format-check
51s
format-check
Fit to window
Zoom out
Zoom in