CI

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
make format --check	10s
make test	12s
make check	18s
	40s