Closed lorenzocerrone closed 1 month ago
Add a basic CI workflow to run the tests
This is now part of the github actions being shipped
Add a basic CI workflow to run the tests