Nice to see the progress of Jenkins Integration. --
Hao On Wed, Dec 23, 2015 at 10:45 PM, Michael Wu <mchl....@gmail.com> wrote: > Hi Guys, > > I'm testing to integrate CI with github, and therefore some pull request > for testing may be sent out. I try to set the title of these PRs to start > with "pr-ci-test" in order to distinguish them from our normal eagle PRs. > If anyone see such entitled PR, please ignore them. I'll close them with no > merging after tests. Thanks. > > Michael >