Travis had a fairly significant event starting around 2pm US Eastern yesterday
that has resulted in a fairly large backlog. Apparently the issue has been
resolved and they are now working through the backlog:
https://www.traviscistatus.com/incidents/4mvp857qx8bw
Pending PRs should eventually churn through Travis.
--
Jeff Squyres
jsquy...@cisco.com
For corporate legal information go to:
http://www.cisco.com/web/about/doing_business/legal/cri/
_______________________________________________
devel mailing list
devel@lists.open-mpi.org
https://rfd.newmexicoconsortium.org/mailman/listinfo/devel
