Zulip Chat Archive

Stream: general

Topic: mathlib3 docs

Ruben Van de Velde (May 12 2023 at 15:37):

It seems like https://leanprover-community.github.io/mathlib_docs/ hasn't been updated for the last ten days

Eric Wieser (May 12 2023 at 16:52):

The action expired again: https://github.com/leanprover-community/doc-gen/actions/workflows/build.yml

Eric Wieser (May 12 2023 at 16:52):

I'll restart it for another two months

Eric Wieser (May 12 2023 at 16:54):

Really, we should be running it as a job in the mathlib repo

Last updated: Dec 20 2023 at 11:08 UTC