Tests

Align make check with CI pipeline #2147

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
lint	26s
format-check	25s
typecheck	1m 10s
tests	55s
build-docs	43s
old_versions	42s
	4m 21s