Closed DavidTanner closed 1 year ago
@kach I see that there is already a PR that includes adding github-actions, #607. This PR hopefully just isolates the changes into something you can approve sooner than summer.
Also, as a first step you could just approve this/ #607 so that we can check if the workflows work correctly.
Travis has been shut down for a while for running tests.