Zulip Chat Archive

Stream: general

Topic: leanproject up getting old mathlib

Michael Stoll (Mar 20 2023 at 05:43):

leanproject up (which I ran just now 2023-03-20T06:40:33+01:00) gets commit 13e18cfa070ea337ea960176414f5ae3a1534aae of mathlib, which is about three days old. I was expecting to get something more recent (in particular, including 7ec2946 from 10 hours ago). Is this normal?

Notification Bot (Mar 20 2023 at 05:53):

A message was moved here from #general > Confusing behavior of apply by Michael Stoll.

Eric Wieser (Mar 20 2023 at 08:54):

I can confirm this behavior

Eric Wieser (Mar 20 2023 at 08:55):

Editing the leanpkg.toml file manually seems to be a workaround

Alex J. Best (Mar 20 2023 at 09:35):

There's a thread somewhere here about version branches not updating. I think someone needs to be asked to restart a bot again

Eric Wieser (Mar 20 2023 at 10:04):

The thread is here; good find Alex!

Eric Rodriguez (May 22 2023 at 14:11):

image.png
this is happening again, and it does seem like 60 days

Eric Wieser (May 22 2023 at 14:19):

I just restarted all the scripts

Last updated: Dec 20 2023 at 11:08 UTC