Zulip Chat Archive
Stream: mathlib4
Topic: version incompatibilities
Frédéric Dupuis (Dec 31 2022 at 18:04):
Yeah, current master doesn't build on my machine unless I run lake update first.
Heather Macbeth (Dec 31 2022 at 18:08):
Not sure I did that right. (Update: but it builds!)
Notification Bot (Dec 31 2022 at 18:12):
12 messages were moved here from #mathlib4 > (2 : ℕ+) by Heather Macbeth.
Mario Carneiro (Dec 31 2022 at 21:18):
haha:
Pull request successfully merged into master.
Build succeeded!
And happy new year! :tada:
* [Build](https://github.com/leanprover-community/mathlib4/actions/runs/3813308228/jobs/6486980007) * [Lint style](https://github.com/leanprover-community/mathlib4/actions/runs/3813308228/jobs/6486980130)
Last updated: Dec 20 2023 at 11:08 UTC