Skip to content

chore: bump toolchain to v4.27.0-rc1 #55

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
kim-em merged 14 commits into from
Dec 14, 2025
Merged

chore: bump toolchain to v4.27.0-rc1 #55

Changes from all commits
Commits
Show all changes
14 commits
Select commit Hold shift + click to select a range
189ebbf
patches for nightly-2025-01-04, and drop Batteries dependency
kim-em Jan 4, 2025
7a6030b
fix adaptation note
kim-em Jan 5, 2025
00b1d9d
merge main
kim-em Mar 17, 2025
368559e
merge main
kim-em Mar 17, 2025
f473315
fixes for leanprover/lean4#7516
kim-em Mar 17, 2025
4dfba8b
merge lean-pr-testing-7516
kim-em Mar 17, 2025
e6b94a0
merge main
kim-em May 29, 2025
fde3fc2
deprecations
kim-em May 29, 2025
26bcd12
toolchain
kim-em Oct 21, 2025
f01cc9d
merge main
kim-em Oct 21, 2025
9d253a6
merge main
kim-em Oct 21, 2025
ca46151
list deprecations
kim-em Nov 3, 2025
5332540
chore: bump toolchain to v4.27.0-rc1
kim-em Dec 14, 2025
8e9823d
Merge remote-tracking branch 'origin/nightly-testing' into bump_to_v4…
kim-em Dec 14, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion lean-toolchain
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1 +1 @@
leanprover/lean4:v4.26.0
leanprover/lean4:v4.27.0-rc1