Closed grxy closed 5 years ago
This replaces Travis w/ CircleCI.
In order for this to be good to merge, we will need to:
This replaces Travis w/ CircleCI.
In order for this to be good to merge, we will need to: