Zulip Chat Archive
Stream: general
Topic: issues with the mathlib_docs repo
Eric Wieser (Mar 11 2021 at 15:18):
There is a problem with this repository on disk.
The docs are now stale by 5 days!
Bryan Gin-ge Chen (Mar 11 2021 at 15:23):
Yes, we have a roughly 5 day old open support ticket about this...
Bryan Gin-ge Chen (Mar 11 2021 at 15:25):
Ah, we just got our first reply: they have reached out to their engineering team.
Last updated: Dec 20 2023 at 11:08 UTC