Run make check

Update actions/stale action to v10 #405

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
check (3.11)	1m 45s
check (3.14)	2m 10s
check (3.10)	2m 52s
check (3.12)	1m 23s
check (3.13)	1m 58s
	10m 8s