CI

TUI: assorted spacing and visual polish #1125

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
lint	22s
nix	1m 40s
integration	43s
test (macos-latest)	1m 25s
test (windows-latest)	4m 35s
test (ubuntu-latest)	2m 52s
coverage	4m 12s
	15m 49s