Re: [OMPI devel] OMPI OS X CI offline

2018-05-25 Thread Barrett, Brian via devel
> > On May 25, 2018, at 12:44 PM, Jeff Squyres (jsquyres) > wrote: > > Looks like "piper" OS X OMPI CI machine is offline. I just marked it offline > in Jenkins and will bot:ompi:retest all the PR's that are obviously stuck. Which wasn’t going to do anything, because the

[OMPI devel] OMPI OS X CI offline

2018-05-25 Thread Jeff Squyres (jsquyres)
Looks like "piper" OS X OMPI CI machine is offline. I just marked it offline in Jenkins and will bot:ompi:retest all the PR's that are obviously stuck. -- Jeff Squyres jsquy...@cisco.com ___ devel mailing list devel@lists.open-mpi.org