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 10 months ago. Oct 24, 2018 - 09:43 UTC
We're investigating possible DNS problems accessing travis-ci.com.