CI

Add support for categorifying `Natural` #12

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (8.10.1)	7m 7s
build (9.0.1)	8m 38s
build (9.2.1)	8m 25s
build (9.2.2)	8m 28s
	32m 38s