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

devel mailing list

Reply via email to