We require make test to pass before PRs can be merged. Right now this is just something a developer needs to do locally and they check a box in the PR template. We should implement make test in a github action that is required to pass before a PR can be merged, and then we should update the PR template.
We require
make test
to pass before PRs can be merged. Right now this is just something a developer needs to do locally and they check a box in the PR template. We should implementmake test
in a github action that is required to pass before a PR can be merged, and then we should update the PR template.