test-install

Fix <leader><leader> and formatting in dashboard #235

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
devcontainer (ubuntu-20.04)	25s
main	1m 37s
devcontainer (ubuntu-22.04)	28s
	2m 30s