Did someone enable Travis CI on GitHub:open-mpi/ompi? I thought we had specifically disabled Travis after we kept running into problems with it...?
I ask because it's failing on some PRs for reasons that seem to have nothing to do with the PR. I don't know if our Travis setup has bit rotted, if there's a genuine problem, or if Travis is just acting wonky... -- Jeff Squyres jsquy...@cisco.com _______________________________________________ devel mailing list devel@lists.open-mpi.org https://lists.open-mpi.org/mailman/listinfo/devel
