Closed petergoldstein closed 1 year ago
This PR adds CI using GitHub Actions.
CircleCI was added, so presumably this is no longer needed.
This PR adds CI using GitHub Actions.