Run make check

Merge pull request #100 from olehermanse/implies-body #153

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
check (3.11)	1m 41s
check (3.12)	1m 13s
check (3.14)	1m 34s
check (3.10)	1m 20s
check (3.13)	1m 7s
	6m 55s