Closed shen-tian closed 5 years ago
I came here from this post. Is it decided that we move this (and other projects) to CircleCI? If so, am happy to work on that.
closed in #102
I came here from this post. Is it decided that we move this (and other projects) to CircleCI? If so, am happy to work on that.