The intermittent DNS issues that were causing problems while accessing travis-ci.com seem to be resolved now. We have escalated the issue to an upstream provider to investigate further and we continue monitoring the situation.
Posted 6 months ago. Oct 24, 2018 - 09:43 UTC
We're investigating possible DNS problems accessing travis-ci.com.