Lean nightly builds off

Stream: lean4

[Tobias Grosser]

Hi, I was just checking the nightlies and it seems the nightlies have not been built since the 12th. This made me wonder when nightlies are typically run.

[Tobias Grosser]

Is this a manual process?

[Henrik Böving]

They have run but they are failing due to the dreaded max .dll symbols on windows error. We're working on it.

[Henrik Böving]

https://github.com/leanprover/lean4/actions/runs/9935102362/job/27440721303 see here (if you can view that idk)

[Tobias Grosser]

I can. Good luck.

[Joachim Breitner]

https://github.com/leanprover/lean4/pull/4746 was merged yesterday, so maybe we’ll get another nightly today.

[Joachim Breitner]

Although the scheduled job doesn't look good :-(
https://github.com/leanprover/lean4/actions/runs/9952258276

[Joachim Breitner]

Sebastian fixed it and triggered a new nightly release build. So maybe we’ll get one today.

[Tobias Grosser]

https://github.com/leanprover/lean4-nightly/releases/tag/nightly-2024-07-16 :partying_face: