Closed b-r-u closed 3 years ago
This PR updates our GitHub CI workflow so that it runs all tests and exits with an error if something fails or is not nicely formatted.
This PR updates our GitHub CI workflow so that it runs all tests and exits with an error if something fails or is not nicely formatted.