matheus23 opened this issue 3 years ago · 0 comments
We should write a github CI (?) file that runs the test suite we have in tests/ for every PR.
tests/