@eht16 I just meant the extra download on each Travis CI run. I wasn't suggesting we do the CI ourselves, which would probably be theoretically cool, but I don't think we have the manpower to maintain that, otherwise we'd already be running GitLab and all ourselves :)