CI

Merge remote-tracking branch 'origin/main' into codemirror #147

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check spelling	7s
Linting and formatting	6s
Translation Check (On PR Only)	-1s
	12s