Commit 2024-11-29 03:02 dade1b8d
View on Github →chore: bump toolchain to v4.14.0-rc3 (#19594) This bumps the toolchain to v4.14.0-rc3. This differs from rc2 only in changes to the behaviour of Lake, which will hopefully eliminate problems with ProofWidgets.