enhancementgood first issuehelp wanted
Repository metrics
- Stars
- (34 stars)
- PR merge metrics
- (PR metrics pending)
Description
We really ought to have continuous integration for the tests. We should add github actions to build and run the tests on push