CI

Add CI to run checks and tests; reformat everything so those tests pass #10

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
make test	16s
make check	21s
make format --check	11s
	48s