Repository navigation

CI

feat: workspace file editor, VS Code API-key fix, and English-only do… #582

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
test (1)	4m 17s
test-pi-tui	45s
lint	1m 5s
test (3)	3m 23s
typecheck	2m 8s
test (4)	3m 33s
test (2)	4m 25s
test (5)	3m 34s
build	3m 9s
test-windows	-1s
test	3s
	26m 21s