Run make check

Miscellaneous improvements #196

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
check (3.10)	2m 32s
check (3.11)	1m 8s
check (3.13)	3m 21s
check (3.14)	1m 46s
check (3.12)	4m 57s
	13m 44s