CI

Merge remote-tracking branch 'origin/dev' into bal3391 #10059

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
lint	4m 7s
format	1m 21s
spell_check	1m 11s
build (ubuntu-latest)	3m 3s
build (windows-latest)	5m 46s
test_windows	8m 20s
test_linux	7m 7s
	30m 55s