This repository was archived by the owner on Jul 24, 2024. It is now read-only.
This repository was archived by the owner on Jul 24, 2024. It is now read-only.
Lean 3.49.0 compatibility #17486
Description
There's no lean-3.49.0 branch, and a quick sanity check shows that there are a few new build failures in src/order/basic.lean and src/order/lattice.lean for example.
Homebrew/homebrew-core#115498 is waiting on this to bump the Homebrew version of lean.