console.lua: restore font size and border size #7534

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
commit-msg	3s
lua-lint	6s
editorconfig-lint	10s
python-lint	7s
swift-lint	29s
	55s