Is it time to remove Travis? I believe that the Open MPI PRB now covers all the modern platforms that Travis covers, and we have people actively maintaining all of the machines / configurations being used for CI.
-- Jeff Squyres jsquy...@cisco.com _______________________________________________ devel mailing list devel@lists.open-mpi.org https://rfd.newmexicoconsortium.org/mailman/listinfo/devel
