Closed ChihChengLiang closed 6 years ago
Since circle ci pull-request build is no longer triggered and the root cause of the issue might be non-trivial to trace, use travis ci to unblock the dev.
Since circle ci pull-request build is no longer triggered and the root cause of the issue might be non-trivial to trace, use travis ci to unblock the dev.