Repository navigation

CI

feat: workspace file editor, VS Code API-key fix, and English-only docs #576

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
lint	1m 6s
test-pi-tui	49s
build	3m 34s
test (5)	3m 38s
typecheck	2m 21s
test (3)	3m 41s
test (2)	4m 38s
test (1)	3m 57s
test (4)	3m 30s
test-windows	0s
test	4s
	27m 18s