CI

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
test-pi-tui	4m 58s
typecheck	2m 19s
build	3m 55s
lint	57s
test (4)	3m 26s
test (2)	3m 52s
test (3)	3m 31s
test (5)	3m 29s
test (1)	3m 14s
test-windows	0s
test	4s
	29m 45s