shen-tian opened this issue 5 years ago · 1 comments
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