Skip to content

chore: adaptations for nightly-2026-01-10 #1612

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

Closed
leanprover-community-mathlib4-bot wants to merge 1,832 commits into from
Closed

chore: adaptations for nightly-2026-01-10 #1612

Changes from all commits
Commits
Show all changes
1832 commits
Select commit Hold shift + click to select a range
aecff78
Fix
TwoFX Nov 13, 2025
4e60748
Update lean-toolchain for https://github.com/leanprover/lean4/pull/11152
leanprover-community-mathlib4-bot Nov 13, 2025
ebdad22
bump toolchain
kim-em Nov 13, 2025
5eb9119
chore: adaptations for nightly-2025-11-13
Nov 13, 2025
f53d828
chore: unreachable tactic linter ignores registerTryTactic
kim-em Nov 14, 2025
d933c28
chore: unreachable tactic linter ignores registerTryTactic
kim-em Nov 14, 2025
e0b4391
Merge main into nightly-testing
leanprover-community-mathlib4-bot Nov 14, 2025
62778f6
chore: bump to nightly-2025-11-14
leanprover-community-mathlib4-bot Nov 14, 2025
418c17c
merge lean-pr-testing-11139
invalid-email-address Nov 14, 2025
d53e65c
merge lean-pr-testing-11152
invalid-email-address Nov 14, 2025
0302374
Trigger CI
TwoFX Nov 14, 2025
cdadad6
Auto-resolved conflicts in lean-toolchain and lake-manifest.json
Nov 14, 2025
5a209ae
chore: adaptations for nightly-2025-11-14
Nov 14, 2025
43fbb4a
chore: adaptations for nightly-2025-11-14 (#1514)
leanprover-community-mathlib4-bot Nov 14, 2025
288c6ec
Merge main into nightly-testing
leanprover-community-mathlib4-bot Nov 14, 2025
c8cd145
chore: bump to nightly-2025-11-15
leanprover-community-mathlib4-bot Nov 15, 2025
257df5c
Merge remote-tracking branch 'origin/main' into bump/v4.26.0
Nov 15, 2025
6e433d2
chore: adaptations for nightly-2025-11-15
Nov 15, 2025
e21474b
Merge main into nightly-testing
leanprover-community-mathlib4-bot Nov 15, 2025
c98445f
Update lean-toolchain for testing https://github.com/leanprover/lean4…
leanprover-community-mathlib4-bot Nov 16, 2025
600635a
Fix
TwoFX Nov 16, 2025
8e479e9
chore: bump to nightly-2025-11-16
leanprover-community-mathlib4-bot Nov 16, 2025
b2440e1
Merge remote-tracking branch 'origin/main' into bump/v4.26.0
Nov 16, 2025
242d73e
Merge commit '8e479e9aa245cea4fd6262904f144b4e67458425' into bump/nig…
Nov 16, 2025
4ee8a67
chore: adaptations for nightly-2025-11-16
Nov 16, 2025
15276ac
chore: bump to nightly-2025-11-17
leanprover-community-mathlib4-bot Nov 17, 2025
17572de
merge lean-pr-testing-11154
invalid-email-address Nov 17, 2025
344b192
Merge main into nightly-testing
leanprover-community-mathlib4-bot Nov 18, 2025
a6b766d
merge main
kim-em Nov 18, 2025
f16ba43
chore: adaptations for nightly-2025-11-17
kim-em Nov 18, 2025
8db306d
long lines
kim-em Nov 18, 2025
e53b625
merge bump/nightly-2025-11-17
kim-em Nov 18, 2025
63c1274
Merge main into nightly-testing
leanprover-community-mathlib4-bot Nov 18, 2025
9f36b96
chore: update lean-toolchain to leanprover/lean4:nightly-2025-11-17
kim-em Nov 18, 2025
458f792
chore: bump to nightly-2025-11-18
leanprover-community-mathlib4-bot Nov 18, 2025
1b65686
chore: adaptations for nightly-2025-11-18
Nov 18, 2025
25ba04f
chore: adaptations for nightly-2025-11-18 (#1521)
leanprover-community-mathlib4-bot Nov 18, 2025
27ba02c
Update lean-toolchain for testing https://github.com/leanprover/lean4…
leanprover-community-mathlib4-bot Nov 18, 2025
3323e9a
Merge main into nightly-testing
leanprover-community-mathlib4-bot Nov 18, 2025
42d1c27
Fix
TwoFX Nov 18, 2025
c8b1a31
Merge remote-tracking branch 'origin/lean-pr-testing-11180' into nigh…
kim-em Nov 19, 2025
5561d6d
bump toolchain
kim-em Nov 19, 2025
06c225a
fixes
kim-em Nov 19, 2025
015d482
Merge remote-tracking branch 'origin/main' into bump/v4.27.0
Nov 19, 2025
474e999
chore: adaptations for nightly-2025-11-19
Nov 19, 2025
848c036
chore: adaptations for nightly-2025-11-19 (#1523)
leanprover-community-mathlib4-bot Nov 19, 2025
2d5395e
chore: bump to nightly-2025-11-20
leanprover-community-mathlib4-bot Nov 20, 2025
90e3bf6
chore: comment out failing String theorem
kim-em Nov 20, 2025
1063256
chore: adaptations for nightly-2025-11-20
Nov 20, 2025
7ba55a2
Restore string lemma
TwoFX Nov 20, 2025
e6ba397
Merge main into nightly-testing
leanprover-community-mathlib4-bot Nov 21, 2025
1ed7b09
chore: bump to nightly-2025-11-21
leanprover-community-mathlib4-bot Nov 21, 2025
7e88ee5
Auto-resolved conflicts in lean-toolchain and lake-manifest.json
Nov 21, 2025
058c8a3
chore: adaptations for nightly-2025-11-21
Nov 21, 2025
dd88342
chore: adaptations for nightly-2025-11-20 (#1524)
leanprover-community-mathlib4-bot Nov 21, 2025
4aafec1
chore: adaptations for nightly-2025-11-21 (#1526)
leanprover-community-mathlib4-bot Nov 21, 2025
03cff9f
chore: bump to nightly-2025-11-22
leanprover-community-mathlib4-bot Nov 22, 2025
b3bc283
Merge main into nightly-testing
leanprover-community-mathlib4-bot Nov 22, 2025
38e6d34
comment out more String failures
kim-em Nov 23, 2025
cd1faf5
Merge remote-tracking branch 'origin/main' into bump/v4.27.0
Nov 23, 2025
6807073
chore: adaptations for nightly-2025-11-22
Nov 23, 2025
77a18cb
Restore
TwoFX Nov 23, 2025
1038f33
chore: bump to nightly-2025-11-23
leanprover-community-mathlib4-bot Nov 23, 2025
b82adf9
chore: adaptations for nightly-2025-11-23
Nov 23, 2025
55d3b3d
Update lean-toolchain for testing https://github.com/leanprover/lean4…
leanprover-community-mathlib4-bot Nov 23, 2025
eac24c4
chore: adaptations for nightly-2025-11-23 (#1529)
leanprover-community-mathlib4-bot Nov 23, 2025
d708941
Update lean-toolchain for testing https://github.com/leanprover/lean4…
leanprover-community-mathlib4-bot Nov 23, 2025
0861557
Fix
TwoFX Nov 23, 2025
5544cbe
Fix
TwoFX Nov 23, 2025
8ab22a8
chore: bump to nightly-2025-11-24
leanprover-community-mathlib4-bot Nov 24, 2025
968d253
merge lean-pr-testing-11308
invalid-email-address Nov 24, 2025
7444211
merge lean-pr-testing-11276
kim-em Nov 24, 2025
9ee111f
chore: adaptations for nightly-2025-11-24
kim-em Nov 24, 2025
9e4d4db
Update lean-toolchain for testing https://github.com/leanprover/lean4…
leanprover-community-mathlib4-bot Nov 24, 2025
3ce1f88
s/ValidPos/Pos/g
TwoFX Nov 24, 2025
4ed2109
Update lean-toolchain for https://github.com/leanprover/lean4/pull/11240
leanprover-community-mathlib4-bot Nov 24, 2025
7ad1da2
chore: adaptations for nightly-2025-11-24 (#1532)
kim-em Nov 24, 2025
434416b
Merge main into nightly-testing
leanprover-community-mathlib4-bot Nov 24, 2025
0cec19c
chore: bump to nightly-2025-11-25
leanprover-community-mathlib4-bot Nov 25, 2025
b4a33f1
merge lean-pr-testing-11240
invalid-email-address Nov 25, 2025
7ba90e3
Fixes
TwoFX Nov 25, 2025
451c5ef
Merge remote-tracking branch 'origin/main' into bump/v4.27.0
Nov 25, 2025
10d9895
Update lean-toolchain for testing https://github.com/leanprover/lean4…
leanprover-community-mathlib4-bot Sep 2, 2025
de6d1d3
fix
eric-wieser Sep 2, 2025
1d67b65
Update ByteSlice.lean
eric-wieser Nov 25, 2025
3cdd93c
Update toolchain
TwoFX Nov 25, 2025
1fe4e2e
chore: adaptations for nightly-2025-11-25
kim-em Nov 25, 2025
f21c017
chore: adaptations for nightly-2025-11-25 (#1533)
kim-em Nov 25, 2025
de25212
Update lean-toolchain for testing https://github.com/leanprover/lean4…
leanprover-community-mathlib4-bot Nov 25, 2025
d8c6ccd
Fix
TwoFX Nov 25, 2025
400be7c
Long line
TwoFX Nov 25, 2025
dd0b796
Fix `Shake`
TwoFX Nov 25, 2025
738f6c9
chore: bump to nightly-2025-11-26
leanprover-community-mathlib4-bot Nov 26, 2025
7a9df35
merge lean-pr-testing-10204
invalid-email-address Nov 26, 2025
9a5528d
merge lean-pr-testing-11357
invalid-email-address Nov 26, 2025
7cb5176
chore: bump to nightly-2025-11-27
leanprover-community-mathlib4-bot Nov 27, 2025
02b8455
chore: adaptations for nightly-2025-11-27
Nov 27, 2025
02dbe63
chore: adaptations for nightly-2025-11-27 (#1534)
leanprover-community-mathlib4-bot Nov 28, 2025
9d7b578
Merge main into nightly-testing
leanprover-community-mathlib4-bot Nov 28, 2025
09aa5c2
chore: bump to nightly-2025-11-28
leanprover-community-mathlib4-bot Nov 28, 2025
577fa7d
Merge remote-tracking branch 'origin/main' into bump/v4.27.0
Nov 28, 2025
5090b1c
chore: adaptations for nightly-2025-11-28
Nov 28, 2025
a59a7e6
chore: bump to nightly-2025-11-29
leanprover-community-mathlib4-bot Nov 29, 2025
d1b8614
chore: adaptations for nightly-2025-11-29
Nov 29, 2025
18416eb
Merge main into nightly-testing
leanprover-community-mathlib4-bot Nov 30, 2025
9dc7973
chore: bump to nightly-2025-11-30
leanprover-community-mathlib4-bot Nov 30, 2025
4635004
Merge remote-tracking branch 'origin/main' into bump/v4.27.0
Nov 30, 2025
8038ea0
Merge commit '9dc7973629f2338d9d40f55a1c17f9ce59709941' into bump/nig…
Nov 30, 2025
9eab46c
chore: adaptations for nightly-2025-11-30
Nov 30, 2025
2315ef5
chore: bump to nightly-2025-12-01
leanprover-community-mathlib4-bot Dec 1, 2025
dc2a059
chore: adaptations for nightly-2025-12-01
Dec 1, 2025
943400f
chore: bump to nightly-2025-12-02
leanprover-community-mathlib4-bot Dec 2, 2025
080d151
chore: adaptations for nightly-2025-12-02
Dec 2, 2025
a6292d7
Update lean-toolchain for testing https://github.com/leanprover/lean4…
leanprover-community-mathlib4-bot Dec 2, 2025
048882c
fix: address minor breakage after renaming `Std.Iterators.Iterator` t…
datokrat Dec 2, 2025
b7f2202
Update lean-toolchain for https://github.com/leanprover/lean4/pull/11446
leanprover-community-mathlib4-bot Dec 2, 2025
9a0ab3e
chore: bump to nightly-2025-12-03
leanprover-community-mathlib4-bot Dec 3, 2025
7d12840
fix tests
kim-em Dec 4, 2025
ca6423f
chore: adaptations for nightly-2025-12-03
Dec 4, 2025
630c280
chore: adaptations for nightly-2025-12-03 (#1546)
leanprover-community-mathlib4-bot Dec 4, 2025
5920aea
Merge main into nightly-testing
leanprover-community-mathlib4-bot Dec 4, 2025
44fcf73
chore: bump to nightly-2025-12-04
leanprover-community-mathlib4-bot Dec 4, 2025
c672746
Merge remote-tracking branch 'origin/main' into bump/v4.27.0
Dec 4, 2025
4f8e971
chore: adaptations for nightly-2025-12-04
Dec 4, 2025
3f511d0
Update lean-toolchain for testing https://github.com/leanprover/lean4…
leanprover-community-mathlib4-bot Dec 4, 2025
a3e1ddf
Merge main into nightly-testing
leanprover-community-mathlib4-bot Dec 5, 2025
0d1f1ab
chore: bump to nightly-2025-12-05
leanprover-community-mathlib4-bot Dec 5, 2025
fddf202
Merge remote-tracking branch 'origin/main' into bump/v4.27.0
Dec 5, 2025
86db29c
Merge commit '0d1f1ab7e3e7d409bd496bc3449e658ac8c3119f' into bump/nig…
Dec 5, 2025
1b43f21
chore: adaptations for nightly-2025-12-05
Dec 5, 2025
194746c
chore: bump to nightly-2025-12-06
leanprover-community-mathlib4-bot Dec 6, 2025
bc5d6a3
chore: adaptations for nightly-2025-12-06
Dec 6, 2025
1333433
chore: bump to nightly-2025-12-07
leanprover-community-mathlib4-bot Dec 7, 2025
5266484
chore: adaptations for nightly-2025-12-07
Dec 7, 2025
8cb2c81
chore: bump to nightly-2025-12-08
leanprover-community-mathlib4-bot Dec 8, 2025
66153a0
fix grind proof
kim-em Dec 8, 2025
bda61ac
chore: adaptations for nightly-2025-12-08
Dec 8, 2025
b5f69e6
chore: adaptations for nightly-2025-12-08 (#1552)
leanprover-community-mathlib4-bot Dec 8, 2025
0d8c5b9
chore: bump to nightly-2025-12-09
leanprover-community-mathlib4-bot Dec 9, 2025
e862ae2
chore: adaptations for nightly-2025-12-09
Dec 9, 2025
2aa5dab
chore: adaptations for nightly-2025-12-09 (#1553)
leanprover-community-mathlib4-bot Dec 9, 2025
52198d3
Merge main into nightly-testing
leanprover-community-mathlib4-bot Dec 9, 2025
80627bb
fix: repair broken merge in #help note display logic
kim-em Dec 9, 2025
faaece1
chore: bump to nightly-2025-12-10
leanprover-community-mathlib4-bot Dec 10, 2025
9c728a5
merge main
kim-em Dec 10, 2025
51003b6
chore: adaptations for nightly-2025-12-10
kim-em Dec 10, 2025
c1dc96e
chore: adaptations for nightly-2025-12-10 (#1554)
kim-em Dec 10, 2025
78cb20a
chore: bump to nightly-2025-12-11
leanprover-community-mathlib4-bot Dec 11, 2025
5fc8fc8
remove upstreamed
kim-em Dec 11, 2025
3dbf00d
chore: adaptations for nightly-2025-12-11
Dec 11, 2025
e53a735
chore: adaptations for nightly-2025-12-11 (#1555)
leanprover-community-mathlib4-bot Dec 11, 2025
969a427
chore: bump to nightly-2025-12-12
leanprover-community-mathlib4-bot Dec 12, 2025
ba7f3a6
remove upstreamed, rename to avoid a collision
kim-em Dec 12, 2025
63da2b1
chore: adaptations for nightly-2025-12-12
Dec 12, 2025
6227701
chore: adaptations for nightly-2025-12-12 (#1556)
leanprover-community-mathlib4-bot Dec 12, 2025
686a774
Std.Range -> Std.Legacy.Range
datokrat Dec 12, 2025
c5cfa0e
Merge main into nightly-testing
leanprover-community-mathlib4-bot Dec 13, 2025
73d6b98
bump toolchain
kim-em Dec 13, 2025
3da8843
remove WF; upstreamed
kim-em Dec 13, 2025
10675df
Auto-resolved conflicts in lean-toolchain and lake-manifest.json
Dec 13, 2025
7324a33
chore: adaptations for nightly-2025-12-13
Dec 13, 2025
97e14ba
chore: adaptations for nightly-2025-12-13 (#1558)
leanprover-community-mathlib4-bot Dec 13, 2025
b05cc13
Update lean-toolchain for https://github.com/leanprover/lean4/pull/11438
leanprover-community-mathlib4-bot Dec 13, 2025
9a1de86
bump toolchain
kim-em Dec 14, 2025
cf021cb
remove prime from NameMapExtension again
kim-em Dec 14, 2025
63ea5a6
chore: adaptations for nightly-2025-12-14
Dec 14, 2025
363d7f3
Merge main into nightly-testing
leanprover-community-mathlib4-bot Dec 14, 2025
8c795d8
chore: bump to nightly-2025-12-15
leanprover-community-mathlib4-bot Dec 15, 2025
f22aa49
chore: adaptations for nightly-2025-12-15
Dec 15, 2025
73a7566
Merge main into nightly-testing
leanprover-community-mathlib4-bot Dec 16, 2025
8afaee6
chore: bump to nightly-2025-12-16
leanprover-community-mathlib4-bot Dec 16, 2025
63cdb23
merge lean-pr-testing-11446
invalid-email-address Dec 16, 2025
27cdfef
Update lean-toolchain for https://github.com/leanprover/lean4/pull/11438
leanprover-community-mathlib4-bot Dec 16, 2025
fc39f12
Update some tests
nomeata Dec 16, 2025
0827043
Merge commit 'fc39f125cafc8b03a514ea2afb401940f56d7715' into bump/nig…
Dec 16, 2025
a66b289
chore: adaptations for nightly-2025-12-16
Dec 16, 2025
812092f
Merge main into nightly-testing
leanprover-community-mathlib4-bot Dec 17, 2025
318cf31
chore: bump to nightly-2025-12-17
leanprover-community-mathlib4-bot Dec 17, 2025
3ff8c69
chore: adaptations for nightly-2025-12-17
Dec 17, 2025
5aec7e7
chore: bump to nightly-2025-12-18
leanprover-community-mathlib4-bot Dec 18, 2025
ed590a6
merge lean-pr-testing-11438
invalid-email-address Dec 18, 2025
50902ea
comment out broken AsciiCasing material
kim-em Dec 18, 2025
8572832
chore: adaptations for nightly-2025-12-18
Dec 18, 2025
b113a64
chore: bump to nightly-2025-12-19
leanprover-community-mathlib4-bot Dec 19, 2025
986a549
chore: adaptations for nightly-2025-12-19
Dec 19, 2025
9f7f933
chore: bump to nightly-2025-12-20
leanprover-community-mathlib4-bot Dec 20, 2025
a1b074f
chore: adaptations for nightly-2025-12-20
Dec 20, 2025
26d22d7
chore: bump to nightly-2025-12-21
leanprover-community-mathlib4-bot Dec 21, 2025
3c2eb0e
chore: adaptations for nightly-2025-12-21
Dec 21, 2025
21b72b0
Merge main into nightly-testing
leanprover-community-mathlib4-bot Dec 21, 2025
0e44f24
chore: bump to nightly-2025-12-22
leanprover-community-mathlib4-bot Dec 22, 2025
7027a1e
chore: adaptations for nightly-2025-12-22
Dec 22, 2025
ef835f3
chore: bump to nightly-2025-12-23
leanprover-community-mathlib4-bot Dec 23, 2025
00b253a
chore: adaptations for nightly-2025-12-23
Dec 23, 2025
6b62bb5
chore: bump to nightly-2025-12-24
leanprover-community-mathlib4-bot Dec 24, 2025
02f37b7
chore: adaptations for nightly-2025-12-24
Dec 24, 2025
4b4e590
Update lean-toolchain for testing https://github.com/leanprover/lean4…
leanprover-community-mathlib4-bot Dec 24, 2025
2b34cb1
chore: bump to nightly-2025-12-25
leanprover-community-mathlib4-bot Dec 25, 2025
211d092
chore: adaptations for nightly-2025-12-25
Dec 25, 2025
5db7682
chore: bump to nightly-2025-12-26
leanprover-community-mathlib4-bot Dec 26, 2025
025dd99
chore: adaptations for nightly-2025-12-26
Dec 26, 2025
09cabeb
fix: rename rel field of a FinitenessRelation instance to Rel
datokrat Dec 26, 2025
db86768
Merge main into nightly-testing
leanprover-community-mathlib4-bot Dec 27, 2025
96fc16f
chore: bump to nightly-2025-12-27
leanprover-community-mathlib4-bot Dec 27, 2025
a662f37
Merge commit '96fc16ffa49b0f9c555939c49c7ff81e0d815db7' into bump/nig…
Dec 27, 2025
f4ecf0b
chore: adaptations for nightly-2025-12-27
Dec 27, 2025
f9c1d66
chore: bump to nightly-2025-12-28
leanprover-community-mathlib4-bot Dec 28, 2025
15178c6
chore: adaptations for nightly-2025-12-28
Dec 28, 2025
19ec0dd
chore: bump to nightly-2025-12-29
leanprover-community-mathlib4-bot Dec 29, 2025
3575ba1
chore: adaptations for nightly-2025-12-29
Dec 29, 2025
d2e41ed
chore: bump to nightly-2025-12-30
leanprover-community-mathlib4-bot Dec 30, 2025
618d1e7
merge lean-pr-testing-11789
invalid-email-address Dec 30, 2025
c558738
Merge main into nightly-testing
leanprover-community-mathlib4-bot Dec 31, 2025
f160377
Merge commit 'c55873887b87a54e21f9d5394fb34466cfda721a' into bump/nig…
Dec 31, 2025
c6ce816
chore: adaptations for nightly-2025-12-30
Dec 31, 2025
8807ad3
Merge main into nightly-testing
leanprover-community-mathlib4-bot Dec 31, 2025
1b506a7
chore: bump to nightly-2025-12-31
leanprover-community-mathlib4-bot Dec 31, 2025
a41c678
chore: adaptations for nightly-2025-12-31
Dec 31, 2025
0366c85
chore: bump to nightly-2026-01-01
leanprover-community-mathlib4-bot Jan 1, 2026
4b828c7
chore: adaptations for nightly-2026-01-01
Jan 1, 2026
b9fc605
chore: bump to nightly-2026-01-02
leanprover-community-mathlib4-bot Jan 2, 2026
b5c7e4b
chore: adaptations for nightly-2026-01-02
Jan 2, 2026
532a5cc
chore: bump to nightly-2026-01-03
leanprover-community-mathlib4-bot Jan 3, 2026
885b04e
chore: adaptations for nightly-2026-01-03
Jan 3, 2026
8b3d5b7
Merge main into nightly-testing
leanprover-community-mathlib4-bot Jan 3, 2026
ec18fb5
Merge main into nightly-testing
leanprover-community-mathlib4-bot Jan 4, 2026
fc3f700
chore: bump to nightly-2026-01-04
leanprover-community-mathlib4-bot Jan 4, 2026
c891d5e
chore: rename insertCore to insertKeyValue
kim-em Jan 4, 2026
4becc13
Merge commit 'c891d5ec2533961173768a18338ab1a3184ae71a' into bump/nig…
Jan 4, 2026
c72035b
chore: adaptations for nightly-2026-01-04
Jan 4, 2026
e1f3fd2
Merge main into nightly-testing
leanprover-community-mathlib4-bot Jan 5, 2026
6854938
chore: bump to nightly-2026-01-05
leanprover-community-mathlib4-bot Jan 5, 2026
b397d92
chore: adaptations for nightly-2026-01-05
Jan 5, 2026
9bb4bbf
chore: bump to nightly-2026-01-06
leanprover-community-mathlib4-bot Jan 6, 2026
d30d819
chore: adaptations for nightly-2026-01-06
Jan 6, 2026
bd8c855
Merge main into nightly-testing
leanprover-community-mathlib4-bot Jan 6, 2026
ef0663b
Merge main into nightly-testing
leanprover-community-mathlib4-bot Jan 6, 2026
31bbd55
Merge main into nightly-testing
leanprover-community-mathlib4-bot Jan 7, 2026
85c6ee1
chore: bump to nightly-2026-01-07
leanprover-community-mathlib4-bot Jan 7, 2026
dd56762
Merge commit '85c6ee12d150800889da3125e6ec97ac96fb6d34' into bump/nig…
Jan 7, 2026
117ec29
chore: adaptations for nightly-2026-01-07
Jan 7, 2026
b18084f
Merge main into nightly-testing
leanprover-community-mathlib4-bot Jan 7, 2026
b5cdc53
Merge main into nightly-testing
leanprover-community-mathlib4-bot Jan 8, 2026
f5e9ddb
chore: bump to nightly-2026-01-08
leanprover-community-mathlib4-bot Jan 8, 2026
b8740d1
Merge commit 'f5e9ddb6285ac601fc8f12fe6f88fd283d79d608' into bump/nig…
Jan 8, 2026
78da921
chore: adaptations for nightly-2026-01-08
Jan 8, 2026
13213fb
chore: bump to nightly-2026-01-09
leanprover-community-mathlib4-bot Jan 9, 2026
53afdaf
chore: adaptations for nightly-2026-01-09
Jan 9, 2026
4679361
chore: bump to nightly-2026-01-10
leanprover-community-mathlib4-bot Jan 10, 2026
8203568
chore: adaptations for nightly-2026-01-10
Jan 10, 2026
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:nightly-2026-01-04
leanprover/lean4:nightly-2026-01-10
Loading