Zulip Chat Archive
Stream: mathlib4
Topic: bump to 2023-02-22
Johan Commelin (Feb 23 2023 at 08:03):
@porters did anyone start a bump to yesterdays Lean release?
Johan Commelin (Feb 24 2023 at 08:08):
I started the bump: !4#2477
James Gallicchio (Feb 24 2023 at 08:18):
iirc std doesn't build on latest nightly, unless someone bumped std already
James Gallicchio (Feb 24 2023 at 08:19):
actually may have been an olean mismatch thingo on my side
Johan Commelin (Feb 24 2023 at 08:20):
let's find out
Johan Commelin (Feb 24 2023 at 08:21):
it builds locally on my desktop
Last updated: Dec 20 2023 at 11:08 UTC