CI

fix: merge #10242

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
lint	3m 44s
lint	3m 44s
format	1m 24s
format	1m 24s
spell_check	3m 46s
spell_check	3m 46s
build (ubuntu-latest)	3m 19s
build (ubuntu-latest)	3m 19s
test_linux	8m 52s
test_linux	9m 21s
build (windows-latest)	9m 0s
build (windows-latest)	9m 0s
test_windows	10m 6s
test_windows	10m 6s
	1h 20m 51s