Not sure if related but circleci.com is down for us do to a "DNS issue" !