Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
since we are using github CI which enables constributors to run the CI tests when they create a pull request even if they don't have an account on circleci. there is no need to keep circleci anymore. Signed-off-by: Kefu Chai <[email protected]>
- Loading branch information