Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Running tests locally has become a bit more involved recently. We can keep them out of "make check" for now, so that we can at least get some basic style checks running again. Fixes #838
- Loading branch information