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 [email protected] _______________________________________________ devel mailing list [email protected] https://rfd.newmexicoconsortium.org/mailman/listinfo/devel
