Run make check

Miscellaneous improvements #199

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
check (3.13)	1m 59s
check (3.11)	2m 52s
check (3.10)	1m 43s
check (3.14)	1m 20s
check (3.12)	1m 6s
	9m 0s