test-install

Fix <leader><space> and formatting in dashboard #232

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
main	2m 4s
devcontainer (ubuntu-20.04)	20s
devcontainer (ubuntu-22.04)	23s
	2m 47s