In the mean time, is it possible to disable the jobs that listen for pull requests on Open MPI’s repos? I’m trying to get people out of the habit of ignoring CI results, so no results are better than failed results :/.
Brian > On Jun 21, 2017, at 1:49 PM, Jeff Squyres (jsquyres) <jsquy...@cisco.com> > wrote: > > Thanks Josh. > >> On Jun 21, 2017, at 2:18 PM, Joshua Ladd <jladd.m...@gmail.com> wrote: >> >> OMPI Developers, >> >> We are aware of the issue currently affecting the Mellanox Jenkins servers. >> The issue is being addressed and we hope it will be resolved soon. We >> apologize for the inconvenience and thank you for your patience. >> >> Best, >> >> Josh Ladd >> >> >> _______________________________________________ >> devel mailing list >> devel@lists.open-mpi.org >> https://rfd.newmexicoconsortium.org/mailman/listinfo/devel > > > -- > Jeff Squyres > jsquy...@cisco.com > > _______________________________________________ > devel mailing list > devel@lists.open-mpi.org > https://rfd.newmexicoconsortium.org/mailman/listinfo/devel _______________________________________________ devel mailing list devel@lists.open-mpi.org https://rfd.newmexicoconsortium.org/mailman/listinfo/devel
