Skip to content

chore: adaptations for nightly-2026-06-20 #1867

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
fgdorais merged 2,574 commits into from
Jun 20, 2026
+1 −1
Merged

chore: adaptations for nightly-2026-06-20 #1867

Changes from all commits
Commits
Show all changes
2574 commits
Select commit Hold shift + click to select a range
4da8c74
chore: bump to nightly-2026-04-15
mathlib-nightly-testing[bot] Apr 15, 2026
8a71195
chore: adaptations for nightly-2026-04-15
Apr 15, 2026
07a317b
chore: adaptations for nightly-2026-04-15 (#1770)
mathlib-nightly-testing[bot] Apr 15, 2026
e336ae4
Update lean-toolchain for https://github.com/leanprover/lean4/pull/13363
Apr 15, 2026
918975d
Merge main into nightly-testing
mathlib-nightly-testing[bot] Apr 15, 2026
8304bda
chore: bump to nightly-2026-04-16
mathlib-nightly-testing[bot] Apr 16, 2026
1b7b52b
Merge remote-tracking branch 'origin/main' into bump/v4.31.0
Apr 16, 2026
eb19714
chore: adaptations for nightly-2026-04-16
Apr 16, 2026
056e693
chore: adaptations for nightly-2026-04-16 (#1772)
mathlib-nightly-testing[bot] Apr 16, 2026
9ec4bf9
Merge main into nightly-testing
mathlib-nightly-testing[bot] Apr 16, 2026
1f799a9
chore: bump to nightly-2026-04-17
mathlib-nightly-testing[bot] Apr 17, 2026
cf71c16
Merge main into nightly-testing
mathlib-nightly-testing[bot] Apr 17, 2026
e1417c6
chore: adaptations for lean4#13389
wkrozowski Apr 17, 2026
0d43342
Merge main into nightly-testing
mathlib-nightly-testing[bot] Apr 17, 2026
e5949e8
Auto-resolved conflicts in lean-toolchain and lake-manifest.json
Apr 17, 2026
eed45bf
chore: adaptations for nightly-2026-04-17
Apr 17, 2026
bd05f2b
chore: adaptations for nightly-2026-04-17 (#1776)
mathlib-nightly-testing[bot] Apr 17, 2026
3b89330
Merge main into nightly-testing
mathlib-nightly-testing[bot] Apr 17, 2026
4b59118
meta import
kim-em Apr 17, 2026
1d30386
chore: bump to nightly-2026-04-19
mathlib-nightly-testing[bot] Apr 19, 2026
a86ec78
Merge remote-tracking branch 'origin/main' into bump/v4.31.0
Apr 19, 2026
d33a7bc
chore: adaptations for nightly-2026-04-19
Apr 19, 2026
3b14bd9
chore: adaptations for nightly-2026-04-19 (#1777)
mathlib-nightly-testing[bot] Apr 19, 2026
32f12c3
chore: bump to nightly-2026-04-20
mathlib-nightly-testing[bot] Apr 20, 2026
667d80c
chore: adaptations for nightly-2026-04-20
Apr 20, 2026
c3954b4
chore: adaptations for nightly-2026-04-20 (#1778)
mathlib-nightly-testing[bot] Apr 20, 2026
d700e0e
Update lean-toolchain for testing https://github.com/leanprover/lean4…
Apr 21, 2026
39a9fb8
Update lean-toolchain for https://github.com/leanprover/lean4/pull/13492
Apr 21, 2026
150df03
Update lean-toolchain for https://github.com/leanprover/lean4/pull/13492
Apr 21, 2026
c369611
Update lean-toolchain for https://github.com/leanprover/lean4/pull/13492
Apr 21, 2026
bd1c78c
Update lean-toolchain for https://github.com/leanprover/lean4/pull/13492
Apr 21, 2026
bd4ad97
chore: bump to nightly-2026-04-22
mathlib-nightly-testing[bot] Apr 22, 2026
f00fb31
chore: adaptations for nightly-2026-04-22
Apr 22, 2026
16eda9d
Update lean-toolchain for https://github.com/leanprover/lean4/pull/13492
Apr 22, 2026
35ad856
unused simp arg
nomeata Apr 22, 2026
3bec183
Update lean-toolchain for https://github.com/leanprover/lean4/pull/13492
Apr 22, 2026
18fe7d8
chore: adaptations for nightly-2026-04-22 (#1780)
mathlib-nightly-testing[bot] Apr 22, 2026
77bd159
chore: bump to nightly-2026-04-23
mathlib-nightly-testing[bot] Apr 23, 2026
e0306a8
chore: adaptations for nightly-2026-04-23
Apr 23, 2026
f3823b2
Update lean-toolchain for https://github.com/leanprover/lean4/pull/13363
Apr 24, 2026
8c32d2c
chore: bump to nightly-2026-04-24
mathlib-nightly-testing[bot] Apr 24, 2026
5bcde72
chore: adaptations for nightly-2026-04-24
Apr 24, 2026
f14c956
Merge tag 'nightly-testing-2026-04-23' of https://github.com/leanprov…
nomeata Apr 24, 2026
bb114bb
Update lean-toolchain for https://github.com/leanprover/lean4/pull/13363
Apr 24, 2026
db95397
Update lean-toolchain for https://github.com/leanprover/lean4/pull/13492
Apr 24, 2026
1594d36
chore: adaptations for nightly-2026-04-24 (#1782)
mathlib-nightly-testing[bot] Apr 25, 2026
4d35363
chore: bump to nightly-2026-04-25
mathlib-nightly-testing[bot] Apr 25, 2026
4bfa903
merge lean-pr-testing-13363
mathlib-nightly-testing[bot] Apr 25, 2026
61bbab8
chore: adaptations for nightly-2026-04-25
Apr 25, 2026
f19e222
chore: adaptations for nightly-2026-04-25 (#1783)
mathlib-nightly-testing[bot] Apr 26, 2026
202f6a6
Update lean-toolchain for https://github.com/leanprover/lean4/pull/13492
Apr 27, 2026
93ab981
chore: bump to nightly-2026-04-27
mathlib-nightly-testing[bot] Apr 27, 2026
f5cf4c0
chore: adaptations for nightly-2026-04-27
Apr 27, 2026
5158f64
chore: adaptations for nightly-2026-04-27 (#1784)
mathlib-nightly-testing[bot] Apr 27, 2026
71766fa
chore: bump to nightly-2026-04-28
mathlib-nightly-testing[bot] Apr 28, 2026
201adca
merge lean-pr-testing-13492
mathlib-nightly-testing[bot] Apr 28, 2026
d008cf8
fix test output
kim-em Apr 29, 2026
bfc1805
delete DList rather than fix it
kim-em Apr 29, 2026
18bfb80
chore: adaptations for nightly-2026-04-28
Apr 29, 2026
b66ea11
chore: adaptations for nightly-2026-04-28 (#1786)
mathlib-nightly-testing[bot] Apr 29, 2026
3d9a946
chore: bump to nightly-2026-04-29
mathlib-nightly-testing[bot] Apr 29, 2026
0bf45a6
chore: adaptations for nightly-2026-04-29
Apr 29, 2026
b79095f
chore: adaptations for nightly-2026-04-29 (#1787)
mathlib-nightly-testing[bot] Apr 29, 2026
b7fb9c2
Merge main into nightly-testing
mathlib-nightly-testing[bot] Apr 29, 2026
05635e2
Revert "delete DList rather than fix it"
kim-em Apr 30, 2026
e2b043a
fix linter issue for DList
kim-em Apr 30, 2026
609b3ff
chore: bump to nightly-2026-04-30
mathlib-nightly-testing[bot] Apr 30, 2026
8b54629
Merge remote-tracking branch 'origin/main' into bump/v4.31.0
Apr 30, 2026
4f1ed9e
chore: adaptations for nightly-2026-04-30
Apr 30, 2026
8e0b5ae
Update lean-toolchain for testing https://github.com/leanprover/lean4…
Apr 30, 2026
3207c47
chore: adaptations for nightly-2026-04-30 (#1788)
mathlib-nightly-testing[bot] Apr 30, 2026
953e906
chore: bump to nightly-2026-05-01
mathlib-nightly-testing[bot] May 1, 2026
fbe3729
chore: bump to nightly-2026-05-02
mathlib-nightly-testing[bot] May 2, 2026
8d36e6d
chore: adaptations for nightly-2026-05-02
May 2, 2026
2b5ea2e
chore: bump to nightly-2026-05-03
mathlib-nightly-testing[bot] May 3, 2026
a5057d0
chore: adaptations for nightly-2026-05-03
May 3, 2026
5a692e9
chore: adaptations for nightly-2026-05-03 (#1790)
mathlib-nightly-testing[bot] May 3, 2026
361c1d2
chore: bump to nightly-2026-05-04
mathlib-nightly-testing[bot] May 4, 2026
71e6f95
chore: adaptations for nightly-2026-05-04
May 4, 2026
c7500ff
chore: adaptations for nightly-2026-05-04 (#1791)
mathlib-nightly-testing[bot] May 4, 2026
4db3724
Merge main into nightly-testing
mathlib-nightly-testing[bot] May 5, 2026
7293a06
Merge main into nightly-testing
mathlib-nightly-testing[bot] May 5, 2026
d59cdb1
chore: bump to nightly-2026-05-05
mathlib-nightly-testing[bot] May 5, 2026
e2b6b87
Merge remote-tracking branch 'origin/main' into bump/v4.31.0
May 5, 2026
801b5f5
chore: adaptations for nightly-2026-05-05
May 5, 2026
bba9b63
chore: adaptations for nightly-2026-05-05 (#1795)
mathlib-nightly-testing[bot] May 5, 2026
5e23ad0
Update lean-toolchain for testing https://github.com/leanprover/lean4…
May 6, 2026
42f85eb
chore: bump to nightly-2026-05-06
mathlib-nightly-testing[bot] May 6, 2026
061f63a
chore: adaptations for nightly-2026-05-06
May 6, 2026
63feed6
Update lean-toolchain for https://github.com/leanprover/lean4/pull/13550
May 6, 2026
e947a4b
Update lean-toolchain for testing https://github.com/leanprover/lean4…
May 6, 2026
078d055
adaptations and fixes
kmill May 6, 2026
7a49117
chore: adaptations for nightly-2026-05-06 (#1796)
mathlib-nightly-testing[bot] May 6, 2026
5f46ad0
Update lean-toolchain for https://github.com/leanprover/lean4/pull/13651
May 6, 2026
a4e372a
chore: bump to nightly-2026-05-07
mathlib-nightly-testing[bot] May 7, 2026
25a8b16
chore: adaptations for nightly-2026-05-07
May 7, 2026
a1e9a9c
chore: fix `lintTC.lean` test
wkrozowski May 7, 2026
5d4c20f
Update lean-toolchain for https://github.com/leanprover/lean4/pull/13550
May 7, 2026
f33473f
Update lean-toolchain for https://github.com/leanprover/lean4/pull/13651
May 8, 2026
43d6722
chore: adaptations for nightly-2026-05-07 (#1798)
mathlib-nightly-testing[bot] May 8, 2026
d9e2ad5
Update lean-toolchain for https://github.com/leanprover/lean4/pull/13651
May 9, 2026
e635a95
chore: bump to nightly-2026-05-09
mathlib-nightly-testing[bot] May 9, 2026
8e1db9d
chore: adaptations for nightly-2026-05-09
May 9, 2026
307af36
chore: adaptations for nightly-2026-05-09 (#1799)
mathlib-nightly-testing[bot] May 9, 2026
62ad588
chore: bump to nightly-2026-05-10
mathlib-nightly-testing[bot] May 10, 2026
c566127
chore: adaptations for nightly-2026-05-10
May 10, 2026
cad1461
chore: adaptations for nightly-2026-05-10 (#1800)
mathlib-nightly-testing[bot] May 11, 2026
b3755b8
chore: bump to nightly-2026-05-11
mathlib-nightly-testing[bot] May 11, 2026
191399b
chore: adaptations for nightly-2026-05-11
May 11, 2026
9d36ecb
Update lean-toolchain for https://github.com/leanprover/lean4/pull/13636
May 12, 2026
850d1a8
Update lean-toolchain for https://github.com/leanprover/lean4/pull/13636
May 12, 2026
c5061f4
Update lean-toolchain for https://github.com/leanprover/lean4/pull/13636
May 12, 2026
be12022
refactor: use `simpa using!` for lean4 PR 13636 (reducible-close)
kim-em May 12, 2026
5796d42
test: convert BatteriesTest/simpa.lean uses to `simpa using!`
kim-em May 12, 2026
05106c4
Update lean-toolchain for https://github.com/leanprover/lean4/pull/13636
May 12, 2026
f74aa73
chore: bump to nightly-2026-05-12
mathlib-nightly-testing[bot] May 12, 2026
f11a2c5
chore: adaptations for nightly-2026-05-12
May 12, 2026
79a13b7
chore: adaptations for nightly-2026-05-12 (#1802)
mathlib-nightly-testing[bot] May 12, 2026
6b5405b
Update lean-toolchain for https://github.com/leanprover/lean4/pull/13651
May 12, 2026
27ebb41
Update lean-toolchain for https://github.com/leanprover/lean4/pull/13651
May 13, 2026
eceefc2
chore: bump to nightly-2026-05-13
mathlib-nightly-testing[bot] May 13, 2026
75de20b
chore: adaptations for nightly-2026-05-13
May 13, 2026
967ddf4
chore: adaptations for nightly-2026-05-13 (#1804)
mathlib-nightly-testing[bot] May 13, 2026
b63e953
chore: bump to nightly-2026-05-14
mathlib-nightly-testing[bot] May 14, 2026
76e7cf2
chore: adaptations for nightly-2026-05-14
May 14, 2026
76d9438
chore: adaptations for nightly-2026-05-14 (#1806)
mathlib-nightly-testing[bot] May 14, 2026
05274df
Update lean-toolchain for https://github.com/leanprover/lean4/pull/13651
May 14, 2026
c1dc030
Update lean-toolchain for https://github.com/leanprover/lean4/pull/13636
May 16, 2026
c1ecc5a
chore: bump to nightly-2026-05-16
mathlib-nightly-testing[bot] May 16, 2026
9d8fd68
merge lean-pr-testing-13550
mathlib-nightly-testing[bot] May 16, 2026
68d440f
merge lean-pr-testing-13651
mathlib-nightly-testing[bot] May 16, 2026
63bfff2
chore: adaptations for nightly-2026-05-16
May 16, 2026
ae615cd
chore: adaptations for nightly-2026-05-16 (#1807)
mathlib-nightly-testing[bot] May 16, 2026
1addbf3
Merge main into nightly-testing
mathlib-nightly-testing[bot] May 17, 2026
cb4899a
Merge main into nightly-testing
mathlib-nightly-testing[bot] May 17, 2026
dbaabd1
chore: bump to nightly-2026-05-17
mathlib-nightly-testing[bot] May 17, 2026
1d8196a
merge lean-pr-testing-13185
mathlib-nightly-testing[bot] May 17, 2026
0360c6d
Merge remote-tracking branch 'origin/main' into bump/v4.31.0
May 17, 2026
691a6e3
chore: adaptations for nightly-2026-05-17
May 17, 2026
ca59300
chore: adaptations for nightly-2026-05-17 (#1810)
mathlib-nightly-testing[bot] May 17, 2026
a7248f0
chore: bump to nightly-2026-05-18
mathlib-nightly-testing[bot] May 18, 2026
91804c2
chore: adaptations for nightly-2026-05-18
May 18, 2026
85b8ec3
chore: adaptations for nightly-2026-05-18 (#1812)
mathlib-nightly-testing[bot] May 18, 2026
2639916
Merge main into nightly-testing
mathlib-nightly-testing[bot] May 19, 2026
2ad9d8d
Merge main into nightly-testing
mathlib-nightly-testing[bot] May 19, 2026
e3541c9
chore: bump to nightly-2026-05-20
mathlib-nightly-testing[bot] May 20, 2026
0e178c2
Merge remote-tracking branch 'origin/main' into bump/v4.31.0
May 20, 2026
08458fd
chore: adaptations for nightly-2026-05-20
May 20, 2026
93ed5f4
chore: adaptations for nightly-2026-05-20 (#1813)
mathlib-nightly-testing[bot] May 20, 2026
f3e2bb0
chore: bump to nightly-2026-05-21
mathlib-nightly-testing[bot] May 21, 2026
087dc15
chore: bump to nightly-2026-05-22
mathlib-nightly-testing[bot] May 22, 2026
4377650
chore: import all `Init.Data.Ord.String` to expose `String.compare`
kim-em May 24, 2026
7ae600f
chore: adaptations for nightly-2026-05-22
May 24, 2026
985c549
chore: adaptations for nightly-2026-05-22 (#1816)
mathlib-nightly-testing[bot] May 24, 2026
c8de3c7
Update lean-toolchain for https://github.com/leanprover/lean4/pull/13636
May 25, 2026
d1a8913
chore: bump to nightly-2026-05-25
mathlib-nightly-testing[bot] May 25, 2026
37bc3a4
chore: adaptations for nightly-2026-05-25
May 25, 2026
c8fa437
Update lean-toolchain for https://github.com/leanprover/lean4/pull/13636
May 25, 2026
00920c0
Merge main into nightly-testing
mathlib-nightly-testing[bot] May 26, 2026
2942814
chore: adaptations for nightly-2026-05-25 (#1819)
mathlib-nightly-testing[bot] May 26, 2026
311f01c
chore: bump to nightly-2026-05-27
mathlib-nightly-testing[bot] May 27, 2026
ae673e7
merge lean-pr-testing-13636
mathlib-nightly-testing[bot] May 27, 2026
afe1368
Auto-resolved conflicts in lean-toolchain and lake-manifest.json
May 27, 2026
05ebb4a
chore: adaptations for nightly-2026-05-27
May 27, 2026
4d8923e
chore: bump to nightly-2026-05-28
mathlib-nightly-testing[bot] May 28, 2026
f7ae5be
chore: adaptations for nightly-2026-05-28
May 28, 2026
f022bef
Merge main into nightly-testing
mathlib-nightly-testing[bot] May 28, 2026
49466cf
chore: bump toolchain to nightly-2026-05-28
Garmelon May 28, 2026
9c02284
chore: bump to nightly-2026-05-29
mathlib-nightly-testing[bot] May 29, 2026
8b1bd64
chore: adaptations for nightly-2026-05-29
May 29, 2026
a2e535e
chore: adaptations for nightly-2026-05-29 (#1825)
mathlib-nightly-testing[bot] May 29, 2026
5b2e569
chore: bump to nightly-2026-05-30
mathlib-nightly-testing[bot] May 30, 2026
15088ed
chore: adaptations for nightly-2026-05-30
May 30, 2026
3abea22
chore: adaptations for nightly-2026-05-30 (#1826)
mathlib-nightly-testing[bot] May 30, 2026
0e006aa
Merge main into nightly-testing
mathlib-nightly-testing[bot] May 31, 2026
d221c61
Merge main into nightly-testing
mathlib-nightly-testing[bot] May 31, 2026
9dc8163
Merge main into nightly-testing
mathlib-nightly-testing[bot] May 31, 2026
73c207e
chore: bump to nightly-2026-05-31
mathlib-nightly-testing[bot] May 31, 2026
6173871
Merge remote-tracking branch 'origin/main' into bump/v4.32.0
May 31, 2026
52aecea
chore: adaptations for nightly-2026-05-31
May 31, 2026
0c7d32b
Merge main into nightly-testing
mathlib-nightly-testing[bot] May 31, 2026
ab07799
Merge main into nightly-testing
mathlib-nightly-testing[bot] May 31, 2026
ce4374a
chore: bump to nightly-2026-06-01
mathlib-nightly-testing[bot] Jun 1, 2026
17f82c5
Merge remote-tracking branch 'origin/main' into bump/v4.32.0
Jun 1, 2026
d8952cd
Merge commit 'ce4374a452b538b579abe7e6767f1041cc3f9b95' into bump/nig…
Jun 1, 2026
a84d907
chore: adaptations for nightly-2026-06-01
Jun 1, 2026
9835f8d
chore: adaptations for nightly-2026-06-01 (#1829)
mathlib-nightly-testing[bot] Jun 1, 2026
5d30ccc
Merge main into nightly-testing
mathlib-nightly-testing[bot] Jun 1, 2026
3c9599d
chore: bump to nightly-2026-06-02
mathlib-nightly-testing[bot] Jun 2, 2026
706d809
Merge remote-tracking branch 'origin/main' into bump/v4.32.0
Jun 2, 2026
eb5378e
chore: adaptations for nightly-2026-06-02
Jun 2, 2026
4950368
chore: adaptations for nightly-2026-06-02 (#1833)
mathlib-nightly-testing[bot] Jun 2, 2026
7853b3e
chore: bump to nightly-2026-06-03
mathlib-nightly-testing[bot] Jun 3, 2026
514c7eb
chore: adaptations for nightly-2026-06-03
Jun 3, 2026
65d2394
chore: adaptations for nightly-2026-06-03 (#1836)
mathlib-nightly-testing[bot] Jun 3, 2026
7a6d790
Update lean-toolchain for testing https://github.com/leanprover/lean4…
Jun 4, 2026
4809e70
chore: bump to nightly-2026-06-04
mathlib-nightly-testing[bot] Jun 4, 2026
9525d0a
chore: adaptations for nightly-2026-06-04
Jun 4, 2026
ec94c2e
chore: silence linter
wkrozowski Jun 4, 2026
5c2ea37
Update lean-toolchain for https://github.com/leanprover/lean4/pull/13955
Jun 4, 2026
b4f4587
chore: bump to nightly-2026-06-05
mathlib-nightly-testing[bot] Jun 5, 2026
e32dd5c
chore: adaptations for nightly-2026-06-05
Jun 5, 2026
c88aba1
chore: adaptations for nightly-2026-06-05 (#1840)
mathlib-nightly-testing[bot] Jun 5, 2026
1e7fac9
chore: bump to nightly-2026-06-06
mathlib-nightly-testing[bot] Jun 6, 2026
e747e29
chore: adaptations for nightly-2026-06-06
Jun 6, 2026
4eb0594
chore: adaptations for nightly-2026-06-06 (#1841)
mathlib-nightly-testing[bot] Jun 6, 2026
cdea31f
chore: bump to nightly-2026-06-07
mathlib-nightly-testing[bot] Jun 7, 2026
7f96341
chore: adaptations for nightly-2026-06-07
Jun 7, 2026
ce9348b
chore: adaptations for nightly-2026-06-07 (#1842)
mathlib-nightly-testing[bot] Jun 8, 2026
6bba378
chore: bump to nightly-2026-06-08
mathlib-nightly-testing[bot] Jun 8, 2026
65ee736
chore: adaptations for nightly-2026-06-08
Jun 8, 2026
6326d51
Merge main into nightly-testing
mathlib-nightly-testing[bot] Jun 8, 2026
3d418ac
chore: adaptations for nightly-2026-06-08 (#1843)
mathlib-nightly-testing[bot] Jun 8, 2026
412cbe8
Merge main into nightly-testing
mathlib-nightly-testing[bot] Jun 8, 2026
f817a66
Merge main into nightly-testing
mathlib-nightly-testing[bot] Jun 8, 2026
76cf88e
Merge main into nightly-testing
mathlib-nightly-testing[bot] Jun 8, 2026
3a6c3d6
chore: bump to nightly-2026-06-09
mathlib-nightly-testing[bot] Jun 9, 2026
788062f
Auto-resolved conflicts in lean-toolchain and lake-manifest.json
Jun 9, 2026
f2b9edd
chore: adaptations for nightly-2026-06-09
Jun 9, 2026
914fec9
Merge main into nightly-testing
mathlib-nightly-testing[bot] Jun 9, 2026
754e09e
chore: bump to nightly-2026-06-10
mathlib-nightly-testing[bot] Jun 10, 2026
8d3d440
merge lean-pr-testing-13955
mathlib-nightly-testing[bot] Jun 10, 2026
bf2a231
Merge remote-tracking branch 'origin/main' into bump/v4.32.0
Jun 10, 2026
02e723c
Merge commit '8d3d440ba0d1c7625deb506771ae399efb1d763b' into bump/nig…
Jun 10, 2026
5886884
chore: adaptations for nightly-2026-06-10
Jun 10, 2026
e4f6650
chore: adaptations for nightly-2026-06-10 (#1849)
mathlib-nightly-testing[bot] Jun 10, 2026
849faeb
Merge main into nightly-testing
mathlib-nightly-testing[bot] Jun 14, 2026
700e560
Merge main into nightly-testing
mathlib-nightly-testing[bot] Jun 15, 2026
f5f4874
Update lean-toolchain for testing https://github.com/leanprover/lean4…
Jun 15, 2026
088df24
Fix
TwoFX Jun 15, 2026
e147c70
Update lean-toolchain for https://github.com/leanprover/lean4/pull/14054
Jun 15, 2026
dbacdc3
Merge main into nightly-testing
mathlib-nightly-testing[bot] Jun 15, 2026
d5d0b07
chore: bump to nightly-2026-06-15
mathlib-nightly-testing[bot] Jun 15, 2026
8425acc
chore: adaptations for nightly-2026-06-15
Kha Jun 15, 2026
35a0a94
Auto-resolved conflicts in lean-toolchain and lake-manifest.json
Jun 15, 2026
a6f5b2e
chore: adaptations for nightly-2026-06-15
Jun 15, 2026
0202f87
Merge main into nightly-testing
mathlib-nightly-testing[bot] Jun 16, 2026
1cad26a
chore: bump to nightly-2026-06-16
mathlib-nightly-testing[bot] Jun 16, 2026
329d463
merge lean-pr-testing-14054
mathlib-nightly-testing[bot] Jun 16, 2026
7718952
Merge remote-tracking branch 'origin/main' into bump/v4.32.0
Jun 16, 2026
ff0bb55
Merge commit '329d4639dee942935789b37adb2034239f56dada' into bump/nig…
Jun 16, 2026
372eefc
chore: adaptations for nightly-2026-06-16
Jun 16, 2026
dcd609d
Merge main into nightly-testing
mathlib-nightly-testing[bot] Jun 17, 2026
c26abae
Merge main into nightly-testing
mathlib-nightly-testing[bot] Jun 17, 2026
d0ab6cb
chore: bump to nightly-2026-06-18
mathlib-nightly-testing[bot] Jun 18, 2026
8643033
chore: adaptations for nightly-2026-06-18
Jun 18, 2026
844416f
chore: bump to nightly-2026-06-19
mathlib-nightly-testing[bot] Jun 19, 2026
bc131b4
chore: adaptations for nightly-2026-06-19
Jun 19, 2026
bde17df
chore: bump to nightly-2026-06-20
mathlib-nightly-testing[bot] Jun 20, 2026
de02878
chore: adaptations for nightly-2026-06-20
Jun 20, 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-06-19
leanprover/lean4:nightly-2026-06-20
Loading