CI

Add support for categorifying `Natural` #13

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (8.10.1)	6m 37s
build (9.0.1)	11m 15s
build (9.2.1)	10m 44s
build (9.2.2)	11m 15s
	39m 51s