leanprover-community / mathlib

  • Home
  • Zulip archive
  • API documentation
  • Lean web editor
  • Links

Zulip Chat Archive

Stream: maths

Topic: travis caching


Andrew Ashworth (Jun 02 2018 at 02:43):

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 (Jun 02 2018 at 02:45):

I can't change the stream though, oops


Last updated: May 02 2025 at 03:31 UTC

Theme Simple by wildflame © 2016 Powered by jekyll