travis-web does not use travis-core