Hello All, Jenkins CI seems to be stable. If your build was terminated by someone over the last couple of days, you can trigger it now by pushing an empty commit to the same branch or manually in Jenkins if you have access.
Thanks, Meghna Baijal On Thu, Oct 19, 2017 at 12:04 PM, Chris Olivier <[email protected]> wrote: > Hi all, > > We are having lots of problems with CI yesterday and still today. It is > very likely that if you have a PR, the build will get cancelled in an > effort to diagnose and remedy the situation. I apologize in advance for > this. > > -Chris >
