CI

bugfix: Remove JDK 11 as a possibility since it will not work now #2832

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Extension test	1m 5s
Eslint	12s
Build	32s
Prettier	20s
Test (ubuntu-latest)	42s
Typecheck	17s
Test (windows-latest)	2m 57s
Test (macos-latest)	39s
	6m 44s