Repository navigation

Update github actions #1854

Job	Run time
build and typecheck (ubuntu-latest)	1m 19s
test (ubuntu-latest, 2/2)	1m 21s
test (ubuntu-latest, 1/2)	1m 29s
test (ubuntu-latest, unit)	1m 54s
live-e2e	0s
done	4s
	6m 7s