Zulip Chat Archive

Stream: general

Topic: lean-3.48.0 branch not updating

Joseph Myers (Sep 21 2022 at 10:43):

The lean-3.48.0 branch of mathlib hasn't updated since Sunday.

Julian Berman (Sep 21 2022 at 13:05):

Probably a repeat of https://leanprover.zulipchat.com/#narrow/stream/113488-general/topic/Version.20branches so CC @maintainers to revivify whatever other repo that runs in.

Julian Berman (Sep 21 2022 at 13:06):

Ah, https://github.com/leanprover-community/azure-scripts and indeed it's paused.

Last updated: Dec 20 2023 at 11:08 UTC