travis caching

Stream: maths

[Andrew Ashworth]

unfortunately we are not quite near that point though

Did you see https://leanprover.zulipchat.com/#narrow/stream/113488-general/subject/travis.20caching/near/127367872 ?

ah. since leanpkg doesn't download binary releases, do you get a lot of functionality out of travisCI?

[Andrew Ashworth]

I can't change the stream though, oops