json config; fix decrease font; save font size; better cur_fn placeme… #3247

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
check-windows	1m 21s
check-windows	1m 21s
check-windows	1m 21s
check-macos	45s
check-macos	45s
check-macos	45s
check-ubuntu	1m 1s
check-ubuntu	1m 15s
check-ubuntu	1m 1s
code-formatting	26s
code-formatting	26s
code-formatting	26s
	10m 53s