CI

feat(web): add workspace file explorer #1061

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
lint	1m 7s
test (5)	3m 1s
test (2)	3m 35s
test (3)	3m 58s
build	3m 56s
test-pi-tui	50s
test (4)	3m 24s
test (1)	3m 46s
typecheck	2m 28s
test-windows	-1s
test	2s
	26m 6s