We should have a GitHub action that runs `make test` on each commit and pull request to main.
We should have a GitHub action that runs
make teston each commit and pull request to main.