Zulip Chat Archive

Stream: nightly-testing

Topics:

#24524 adaptations for nightly-2025-05-01 (2 messages, latest: May 01 2025 at 19:37)
Mathlib bump branch reminders (549 messages, latest: May 01 2025 at 16:40)
Mathlib status updates (4025 messages, latest: May 01 2025 at 16:39)
batteries#1218 adaptations for nightly-2025-05-01 (1 message, latest: May 01 2025 at 16:37)
Batteries bump branch reminders (89 messages, latest: May 01 2025 at 09:49)
Batteries status updates (604 messages, latest: May 01 2025 at 09:49)
#24486 adaptations for nightly-2025-04-30 (3 messages, latest: May 01 2025 at 07:05)
✔ batteries#1216 adaptations for nightly-2025-04-30 (2 messages, latest: Apr 30 2025 at 10:51)
Mergeable lean testing PRs (194 messages, latest: Apr 30 2025 at 09:29)
✔ batteries#1215 adaptations for nightly-2025-04-29 (2 messages, latest: Apr 29 2025 at 21:10)
#24455 adaptations for nightly-2025-04-29 (1 message, latest: Apr 29 2025 at 16:53)
#24432 adaptations for nightly-2025-04-28 (1 message, latest: Apr 28 2025 at 09:57)
#24421 adaptations for nightly-2025-04-27 (2 messages, latest: Apr 28 2025 at 06:32)
#24406 adaptations for nightly-2025-04-26 (8 messages, latest: Apr 27 2025 at 19:00)
✔ batteries#1213 adaptations for nightly-2025-04-27 (2 messages, latest: Apr 27 2025 at 18:34)
batteries#1212 adaptations for nightly-2025-04-26 (2 messages, latest: Apr 26 2025 at 13:25)
#24386 adaptations for nightly-2024-04-25 (1 message, latest: Apr 26 2025 at 13:19)
✔ #24274 adaptations for nightly-2025-04-21 (2 messages, latest: Apr 22 2025 at 19:52)
#24217 adaptations for nightly-2025-04-20 (2 messages, latest: Apr 20 2025 at 09:42)
#24210 adaptations for nightly-2025-04-19 (5 messages, latest: Apr 20 2025 at 08:59)
#24202 adaptations for nightly-2025-04-16 (2 messages, latest: Apr 19 2025 at 16:35)
batteries#1210 adaptations for nightly-2025-04-19 (1 message, latest: Apr 19 2025 at 16:17)
batteries#1209 adaptations for nightly-2025-04-17 (1 message, latest: Apr 17 2025 at 11:03)
batteries#1208 adaptations for nightly-2025-04-16 (1 message, latest: Apr 16 2025 at 22:39)
#24073 adaptations for nightly-2025-04-14 (2 messages, latest: Apr 15 2025 at 09:13)
batteries#1207 adaptations for nightly-2025-04-14 (1 message, latest: Apr 14 2025 at 10:08)
#23927 adaptations for nightly-2025-04-10 (2 messages, latest: Apr 11 2025 at 07:32)
✔ batteries#1203 adaptations for nightly-2025-04-10 (3 messages, latest: Apr 10 2025 at 08:58)
#23907 adaptations for nightly-2025-04-09 (2 messages, latest: Apr 10 2025 at 08:57)
✔ batteries#1200 adaptations for nightly-2025-04-09 (2 messages, latest: Apr 09 2025 at 14:11)
#23806 adaptations for nightly-2025-04-07 (22 messages, latest: Apr 09 2025 at 13:59)
#23794 adaptations for nightly-2025-04-04 (7 messages, latest: Apr 08 2025 at 01:18)
batteries#1195 adaptations for nightly-2025-04-07 (2 messages, latest: Apr 07 2025 at 11:54)
batteries#1193 adaptations for nightly-2025-04-06 (1 message, latest: Apr 06 2025 at 23:33)
#23685 adaptations for nightly-2025-04-04 (2 messages, latest: Apr 05 2025 at 01:25)
batteries#1191 adaptations for nightly-2025-04-04 (2 messages, latest: Apr 04 2025 at 09:59)
#23651 adaptations for nightly-2025-04-03 (3 messages, latest: Apr 04 2025 at 07:28)
batteries#1189 adaptations for nightly-2025-04-03 (1 message, latest: Apr 03 2025 at 23:13)
#23610 adaptations for nightly-2025-04-02 (3 messages, latest: Apr 03 2025 at 01:15)
batteries#1187 adaptations for nightly-2025-04-02 (1 message, latest: Apr 02 2025 at 11:38)
Fallout from lean#7717 in Aesop (11 messages, latest: Apr 02 2025 at 11:21)
✔ doc-gen4 and v4.19.0-rc1 (11 messages, latest: Apr 02 2025 at 10:13)
#23564 adaptations for nightly-2025-04-01 (1 message, latest: Apr 01 2025 at 22:34)
batteries#1185 adaptations for nightly-2025-04-01 (1 message, latest: Apr 01 2025 at 11:24)
forthcoming release of v4.18.0 and v4.19.0-rc1 (9 messages, latest: Apr 01 2025 at 09:58)
#23495 adaptations for nightly-2025-03-31 (14 messages, latest: Apr 01 2025 at 01:29)
batteries#1183 adaptations for nightly-2025-03-31 (1 message, latest: Mar 31 2025 at 10:02)
#23468 adaptations for nightly-2025-03-30 (2 messages, latest: Mar 31 2025 at 01:25)
#23400 adaptations for nightly-2025-03-28 (10 messages, latest: Mar 30 2025 at 22:38)
batteries#1182 adaptations for nightly-2025-03-30 (1 message, latest: Mar 30 2025 at 22:20)
✔ batteries#1180 adaptations for nightly-2025-03-28 (2 messages, latest: Mar 28 2025 at 10:57)
✔ 2025-3-27: segfaults in leangz (48 messages, latest: Mar 28 2025 at 09:46)
batteries#1179 adaptations for nightly-2025-03-27 (1 message, latest: Mar 27 2025 at 09:55)
batteries#1177 adaptations for nightly-2025-03-26 (2 messages, latest: Mar 26 2025 at 09:26)
#23326 adaptations for nightly-2025-03-25 (3 messages, latest: Mar 26 2025 at 05:51)
#23319 adaptations for leanprover/lean4#7672 (1 message, latest: Mar 25 2025 at 23:18)
batteries#1176 adaptations for nightly-2025-03-25 (1 message, latest: Mar 25 2025 at 09:09)
#23279 adaptations for nightly-2025-03-24 (4 messages, latest: Mar 25 2025 at 03:17)
batteries#1175 adaptations for nightly-2025-03-24 (1 message, latest: Mar 24 2025 at 23:41)
#23242 adaptations for nightly-2025-03-22 (2 messages, latest: Mar 23 2025 at 20:58)
batteries#1173 adaptations for nightly-2025-03-22 (1 message, latest: Mar 23 2025 at 18:16)
#23163 adaptations for nightly-2025-03-20 (7 messages, latest: Mar 21 2025 at 07:46)
batteries#1170 adaptations for nightly-2025-03-20 (1 message, latest: Mar 20 2025 at 23:26)
#23097 adaptations for nightly-2025-03-19 (1 message, latest: Mar 19 2025 at 14:15)
batteries#1168 adaptations for nightly-2025-03-19 (1 message, latest: Mar 19 2025 at 11:59)
#23085 adaptations for nightly-2025-03-18 (2 messages, latest: Mar 19 2025 at 04:43)
#23016 adaptations for nightly-2025-03-17 (7 messages, latest: Mar 19 2025 at 01:57)
batteries#1167 adaptations for nightly-2025-03-18 (1 message, latest: Mar 19 2025 at 01:49)
mathlib test executable failure (3 messages, latest: Mar 18 2025 at 10:20)
batteries#1165 adaptations for nightly-2025-03-17 (1 message, latest: Mar 18 2025 at 01:37)
Test failure in Aesop on v4.18.0-rc1 (2 messages, latest: Mar 17 2025 at 22:15)
#22990 adaptations for nightly-2025-03-15 (1 message, latest: Mar 17 2025 at 01:10)
✔ batteries#1163 adaptations for nightly-2025-03-15 (2 messages, latest: Mar 17 2025 at 01:10)
✔ #22901 adaptations for nightly-2025-03-12 (4 messages, latest: Mar 17 2025 at 01:09)
✔ #22927 adaptations for nightly-2025-03-14 (3 messages, latest: Mar 17 2025 at 01:09)
batteries#1161 adaptations for nightly-2025-03-12 (1 message, latest: Mar 12 2025 at 22:10)
#22826 adaptations for nightly-2025-03-11 (3 messages, latest: Mar 11 2025 at 11:27)
batteries#1159 adaptations for nightly-2025-03-11 (1 message, latest: Mar 11 2025 at 09:53)
batteries#1158 adaptations for nightly-2025-03-10 (1 message, latest: Mar 10 2025 at 12:59)
#22776 adaptations for nightly-2025-03-10 (1 message, latest: Mar 10 2025 at 12:49)
#22758 adaptations for nightly-2025-03-09 (2 messages, latest: Mar 10 2025 at 08:12)
batteries#1157 adaptations for nightly-2025-03-06 (1 message, latest: Mar 06 2025 at 21:58)
#22647 adaptations for nightly-2025-03-06 (2 messages, latest: Mar 06 2025 at 15:36)
batteries#1156 adaptations for nightly-2025-03-05 (1 message, latest: Mar 06 2025 at 05:12)
#22621 adaptations for nightly-2025-03-05 (1 message, latest: Mar 06 2025 at 05:11)
#22581 adaptations for nightly-2025-03-03 (1 message, latest: Mar 05 2025 at 06:00)
batteries#1153 adaptations for nightly-2025-03-04 (1 message, latest: Mar 04 2025 at 09:59)
https://github.com/dupuisf/BibtexQuery/pull/20 (16 messages, latest: Mar 03 2025 at 22:17)
#22493 adaptations for nightly-2025-03-03 (3 messages, latest: Mar 03 2025 at 12:58)
batteries#1149 adaptations for nightly-2025-03-03 (1 message, latest: Mar 03 2025 at 09:16)
#22460 adaptations for nightly-2025-03-02 (10 messages, latest: Mar 02 2025 at 16:45)
batteries#1147 adaptations for nightly-2025-03-01 (2 messages, latest: Mar 02 2025 at 00:40)
#22347 adaptations for nightly-2025-02-26 (1 message, latest: Feb 26 2025 at 23:42)
batteries#1146 adaptations for nightly-2025-02-26 (1 message, latest: Feb 26 2025 at 09:18)
#22305 adaptations for nightly-2025-02-25 (2 messages, latest: Feb 26 2025 at 06:06)
batteries#1145 adaptations for nightly-2025-02-25 (2 messages, latest: Feb 25 2025 at 21:41)
#22266 adaptations for nightly-2025-02-24 (2 messages, latest: Feb 25 2025 at 06:06)
batteries#1144 adaptations for nightly-2025-02-24 (1 message, latest: Feb 25 2025 at 00:23)
batteries#1143 adaptations for nightly-2025-02-22 (1 message, latest: Feb 23 2025 at 23:18)
#22144 adaptations for nightly-2025-02-20 (27 messages, latest: Feb 21 2025 at 03:47)
batteries#1142 adaptations for nightly-2025-02-20 (2 messages, latest: Feb 20 2025 at 22:05)
batteries#1140 adaptations for nightly-2025-02-19 (1 message, latest: Feb 19 2025 at 12:15)
✔ batteries#1139 adaptations for nightly-2025-02-17 (3 messages, latest: Feb 19 2025 at 12:14)
✔ #21846 adaptations for nightly-2025-02-13 (4 messages, latest: Feb 19 2025 at 12:14)
✔ breakages from leanprover/lean4#7059 (18 messages, latest: Feb 18 2025 at 11:29)
#21804 adaptations for nightly-2025-02-12 (9 messages, latest: Feb 17 2025 at 00:13)
#21968 adaptations for nightly-2025-02-16 (2 messages, latest: Feb 17 2025 at 00:07)
batteries#1138 adaptations for nightly-2025-02-16 (2 messages, latest: Feb 16 2025 at 22:12)
batteries#1134 adaptations for nightly-2025-02-14 (1 message, latest: Feb 15 2025 at 00:33)
batteries#1133 adaptations for nightly-2025-02-13 (1 message, latest: Feb 13 2025 at 11:11)
batteries#1132 adaptations for nightly-2025-02-12 (1 message, latest: Feb 12 2025 at 22:36)
#21721 adaptations for nightly-2025-02-11 (4 messages, latest: Feb 11 2025 at 23:46)
batteries#1131 adaptations for nightly-2025-02-11 (1 message, latest: Feb 11 2025 at 10:19)
#21641 adaptations for nightly-2025-02-10 (1 message, latest: Feb 10 2025 at 11:10)
batteries#1128 adaptations for nightly-2025-02-10 (1 message, latest: Feb 10 2025 at 10:21)
#21626 adaptations for nightly-2025-02-09 (1 message, latest: Feb 10 2025 at 03:43)
batteries#1127 adaptations for nightly-2025-02-08 (1 message, latest: Feb 09 2025 at 06:43)
#21526 adaptations for nightly-2025-02-06 (1 message, latest: Feb 07 2025 at 01:57)
batteries#1123 adaptations for nightly-2025-02-06 (2 messages, latest: Feb 06 2025 at 09:17)
#21490 adaptations for nightly-2025-02-05 (1 message, latest: Feb 06 2025 at 02:38)
batteries#1121 adaptations for nightly-2025-02-05 (1 message, latest: Feb 06 2025 at 01:00)
#21415 adaptations for nightly-2025-02-04 (1 message, latest: Feb 04 2025 at 12:14)
#21355 adaptations for nightly-2025-02-02 (7 messages, latest: Feb 03 2025 at 12:28)
#21366 adaptations for nightly-2025-02-03 (1 message, latest: Feb 03 2025 at 10:33)
#21319 adaptations for nightly-2025-02-01 (4 messages, latest: Feb 02 2025 at 22:33)
#21294 adaptations for nightly-2025-01-31 (2 messages, latest: Jan 31 2025 at 15:03)
#21280 adaptations for nightly-2025-01-30 (8 messages, latest: Jan 31 2025 at 05:58)
#21245 adaptations for nightly-2025-01-29 (3 messages, latest: Jan 30 2025 at 01:10)
#21124 adaptations for nightly-2025-01-27 (1 message, latest: Jan 27 2025 at 11:25)
#21042 adaptations for nightly-2025-01-24 (3 messages, latest: Jan 27 2025 at 11:23)
#21017 adaptations for nightly-2025-01-23 (5 messages, latest: Jan 24 2025 at 10:15)
#20912 adaptations for nightly-2025-01-21 (8 messages, latest: Jan 23 2025 at 05:02)
#20943 adaptations for nightly-2025-01-22 (1 message, latest: Jan 22 2025 at 09:41)
#20870 adaptations for nightly-2025-01-19 (2 messages, latest: Jan 20 2025 at 12:40)
#20804 adaptations for nightly-2025-01-16 (3 messages, latest: Jan 17 2025 at 00:06)
#20739 adaptations for nightly-2025-01-14 (6 messages, latest: Jan 16 2025 at 21:54)
#20768 adaptations for nightly-2025-01-15 (2 messages, latest: Jan 15 2025 at 10:51)
v4.16.0-rc2 (20 messages, latest: Jan 14 2025 at 03:25)
v4.15.0 (5 messages, latest: Jan 14 2025 at 01:41)
#20650 adaptations for nightly-2025-01-10 (1 message, latest: Jan 11 2025 at 00:10)
#20631 adaptations for nightly-2025-01-09 (2 messages, latest: Jan 10 2025 at 08:28)
#20563 adaptations for nightly-2025-01-07 (6 messages, latest: Jan 08 2025 at 14:40)
#20510 adaptations for nightly-2025-01-05 (2 messages, latest: Jan 06 2025 at 09:48)
#20487 adaptations for nightly-2025-01-04 (2 messages, latest: Jan 05 2025 at 05:22)
#20420 adaptations for nightly-2025-01-03 (4 messages, latest: Jan 03 2025 at 10:02)
#20402 adaptations for nightly-2025-01-02 (3 messages, latest: Jan 02 2025 at 15:13)
#20392 adaptations for nightly-2024-12-31 (2 messages, latest: Jan 02 2025 at 10:29)
#20196 adaptations for nightly-2024-12-23 (2 messages, latest: Dec 23 2024 at 09:44)
#20172 adaptations for nightly-2024-12-21 (1 message, latest: Dec 22 2024 at 06:06)
#20148 adaptations for nightly-2024-12-20 (2 messages, latest: Dec 21 2024 at 05:01)
aesop (6 messages, latest: Dec 20 2024 at 13:15)
#19984 adaptations for nightly-2024-12-15 (2 messages, latest: Dec 16 2024 at 04:54)
#19975 adaptations for nightly-2024-12-14 (2 messages, latest: Dec 15 2024 at 08:54)
#19956 adaptations for nightly-2024-12-13 (2 messages, latest: Dec 14 2024 at 10:49)
#19928 adaptations for nightly-2024-12-12 (5 messages, latest: Dec 13 2024 at 06:52)
#19887 adaptations for nightly-2024-12-11 (2 messages, latest: Dec 11 2024 at 11:25)
#19840 adaptations for nightly-2024-12-09 (2 messages, latest: Dec 09 2024 at 21:09)
#19762 adaptations for nightly-2024-12-06 (2 messages, latest: Dec 06 2024 at 14:17)
#19747 adaptations for nightly-2024-12-05 (2 messages, latest: Dec 05 2024 at 22:49)
#19739 adaptations for nightly-2024-12-04 (2 messages, latest: Dec 05 2024 at 07:19)
#19674 adaptations for nightly-2024-12-01 (3 messages, latest: Dec 02 2024 at 00:45)
#19635 adaptations for nightly-2024-11-29 (3 messages, latest: Nov 30 2024 at 11:01)
#19589 adaptations for nightly-2024-11-28 (9 messages, latest: Nov 30 2024 at 10:54)
adapations on nightly-testing after #18849 (1 message, latest: Nov 29 2024 at 00:10)
#19553 adaptations for nightly-2024-11-27 (8 messages, latest: Nov 28 2024 at 12:15)
#19506 adaptations for nightly-2024-11-26 (1 message, latest: Nov 26 2024 at 11:07)
#19494 adaptations for nightly-2024-11-25 (3 messages, latest: Nov 26 2024 at 06:39)
#19423 adaptations for nightly-2024-11-23 (9 messages, latest: Nov 25 2024 at 08:56)
#19390 adaptations for nightly-2024-11-22 (1 message, latest: Nov 23 2024 at 02:29)
#19331 adaptations for nightly-2024-11-21 (2 messages, latest: Nov 21 2024 at 11:16)
#19314 adaptations for nightly-2024-11-20 (11 messages, latest: Nov 21 2024 at 04:58)
#19265 adaptations for nightly-2024-11-19 (4 messages, latest: Nov 20 2024 at 10:52)
#19234 adaptations for nightly-2024-11-18 (3 messages, latest: Nov 19 2024 at 01:49)
#19175 adaptations for nightly-2024-11-15 (8 messages, latest: Nov 18 2024 at 11:03)
#19059 adaptations for nightly-2024-11-14 (4 messages, latest: Nov 17 2024 at 22:04)
.github/workflows/nightly_detect_failure.yml (5 messages, latest: Nov 14 2024 at 05:06)
#19011 adaptations for nightly-2024-11-13 (1 message, latest: Nov 14 2024 at 02:02)
!bench failing on nightly-testing (3 messages, latest: Nov 13 2024 at 20:12)
Lean PR testing via nightly-with-mathlib (69 messages, latest: Nov 13 2024 at 07:33)
#18938 adaptations for nightly-2024-11-12 (2 messages, latest: Nov 12 2024 at 22:00)
#18862 adaptations for nightly-2024-11-11 (4 messages, latest: Nov 12 2024 at 02:46)
#18896 chore: backports of adaptations for lean#6024 (2 messages, latest: Nov 12 2024 at 02:41)
#18831 adaptations for nightly-2024-11-10 (3 messages, latest: Nov 11 2024 at 08:15)
COUNTEREXAMPLES_OUTCOME: unbound variable (8 messages, latest: Nov 07 2024 at 16:31)
#18607 adaptations for nightly-2024-11-04 (1 message, latest: Nov 04 2024 at 13:02)
#18591 adaptations for nightly-2024-11-03 (6 messages, latest: Nov 04 2024 at 05:06)
#18487 adaptations for nightly-2024-10-31 (1 message, latest: Oct 31 2024 at 09:32)
#18435 adaptations for nightly-2024-10-30 (6 messages, latest: Oct 30 2024 at 12:47)
#18421 adaptations for nightly-2024-10-29 (4 messages, latest: Oct 30 2024 at 09:53)
#18333 adaptations for nightly-2024-10-28 (21 messages, latest: Oct 29 2024 at 22:01)
#18373 pre-nightly-adaption (1 message, latest: Oct 29 2024 at 10:41)
#18307 adaptations for nightly-2024-10-27 (2 messages, latest: Oct 27 2024 at 23:37)
#18219 adaptations for nightly-2024-10-25 (4 messages, latest: Oct 25 2024 at 09:21)
#18181 adaptations for nightly-2024-10-24 (5 messages, latest: Oct 24 2024 at 15:20)
#18105 adaptations for nightly-2024-10-23 (6 messages, latest: Oct 23 2024 at 10:29)
#18051 adaptations for nightly-2024-10-22 (4 messages, latest: Oct 22 2024 at 11:40)
#18007 adaptations for nightly-2024-10-21 (5 messages, latest: Oct 21 2024 at 13:49)
#17984 adaptations for nightly-2024-10-19 (15 messages, latest: Oct 21 2024 at 06:04)
#17872 adaptations for nightly-2024-10-17 (9 messages, latest: Oct 20 2024 at 07:31)
bumps for other projects (9 messages, latest: Oct 19 2024 at 06:52)
#17851 adaptations for nightly-2024-10-16 (2 messages, latest: Oct 17 2024 at 04:42)
#17800 adaptations for nightly-2024-10-15 (2 messages, latest: Oct 16 2024 at 04:42)
#17727 adaptations for nightly-2024-10-14 (3 messages, latest: Oct 14 2024 at 13:32)
#17711 adaptations for nightly-2024-10-13 (2 messages, latest: Oct 13 2024 at 23:44)
#17657 adaptations for nightly-2024-10-10 (1 message, latest: Oct 11 2024 at 18:14)
#17532 adaptations for nightly-2024-10-08 (1 message, latest: Oct 08 2024 at 09:45)
#17528 adaptations for nightly-2024-10-07 (4 messages, latest: Oct 08 2024 at 07:09)
workflow (7 messages, latest: Oct 04 2024 at 10:24)
#17374 adaptations for nightly-2024-10-03 (2 messages, latest: Oct 03 2024 at 11:07)
#17296 adaptations for nightly-2024-09-30 (3 messages, latest: Sep 30 2024 at 16:18)
#17183 adaptations for nightly-2024-09-26 (5 messages, latest: Sep 28 2024 at 10:04)
#17141 adaptations for nightly-2024-09-25 (6 messages, latest: Sep 26 2024 at 08:03)
#17094 adaptations for nightly-2024-09-24 (3 messages, latest: Sep 24 2024 at 15:19)
#17058 adaptations for nightly-2024-09-23 (26 messages, latest: Sep 24 2024 at 15:19)
#16950 adaptations for nightly-2024-09-19 (2 messages, latest: Sep 19 2024 at 23:51)
#16938 adaptations for nightly-2024-09-18 (2 messages, latest: Sep 19 2024 at 08:40)
#16855 adaptations for nightly-2024-09-16 (4 messages, latest: Sep 17 2024 at 08:17)
#16839 adaptations for nightly-2024-09-15 (23 messages, latest: Sep 16 2024 at 09:18)
#16761 adaptations for nightly-2024-09-13 (1 message, latest: Sep 13 2024 at 11:07)
#16716 adaptations for nightly-2024-09-11 (6 messages, latest: Sep 13 2024 at 05:45)
#16729 adaptations for nightly-2024-09-12 (6 messages, latest: Sep 12 2024 at 14:07)
#16669 adaptations for nightly-2024-09-10 (2 messages, latest: Sep 10 2024 at 22:34)
#16628 adaptations for nightly-2024-09-09 (2 messages, latest: Sep 09 2024 at 11:33)
#16614 adaptations for nightly-2024-09-08 (3 messages, latest: Sep 09 2024 at 09:35)
#16560 adaptations for nightly-2024-09-06 (2 messages, latest: Sep 07 2024 at 05:43)
#16522 adaptations for nightly-2024-09-05 (3 messages, latest: Sep 06 2024 at 11:12)
#16244 adaptations for nightly-2024-08-28 (34 messages, latest: Sep 06 2024 at 09:19)
failure in test/ValuedCSP.lean (5 messages, latest: Sep 05 2024 at 23:09)
#16496 adaptations for nightly-2024-09-04 (3 messages, latest: Sep 05 2024 at 06:23)
#16471 adaptations for nightly-2024-09-03 (1 message, latest: Sep 04 2024 at 07:31)
#16425 adaptations for nightly-2024-09-02 (8 messages, latest: Sep 03 2024 at 23:39)
BibtexQuery (4 messages, latest: Sep 03 2024 at 18:32)
#16402 adaptations for nightly-2024-08-31 (1 message, latest: Sep 02 2024 at 07:02)
#16163 adaptations for nightly-2024-08-26 (7 messages, latest: Aug 27 2024 at 10:35)
what to do? (7 messages, latest: Aug 26 2024 at 22:11)
#16063 adaptations for nightly-2024-08-22 (3 messages, latest: Aug 22 2024 at 12:09)
#16040 adaptations for nightly-2024-08-21 (1 message, latest: Aug 21 2024 at 17:30)
#16003 adaptations for nightly-2024-08-20 (1 message, latest: Aug 20 2024 at 13:56)
#15969 adaptations for nightly-2024-08-19 (7 messages, latest: Aug 20 2024 at 12:06)
#15963 adaptations for nightly-2024-08-17 (3 messages, latest: Aug 19 2024 at 06:12)
#15885 adaptations for nightly-2024-08-15 (21 messages, latest: Aug 17 2024 at 07:06)
adaptations for nightly-2024-08-14 (9 messages, latest: Aug 17 2024 at 06:47)
PR testing updates fails when there are workflow changes (2 messages, latest: Aug 15 2024 at 00:19)
#15788 adaptations for nightly-2024-08-13 (1 message, latest: Aug 14 2024 at 01:03)
adaptations for nightly-2024-08-09 #15668 (4 messages, latest: Aug 11 2024 at 06:07)
#15643 adaptations for nightly-2024-08-08 (2 messages, latest: Aug 09 2024 at 14:57)
quote4 (20 messages, latest: Aug 09 2024 at 01:11)
#15503 adaptations for nightly-2024-08-03 (4 messages, latest: Aug 05 2024 at 07:34)
#15282 adaptations for nightly-2024-07-29 (19 messages, latest: Aug 05 2024 at 06:57)
ProofWidgets4 (10 messages, latest: Aug 05 2024 at 03:28)
adaptations for nightly-2024-07-31 #15366 (1 message, latest: Jul 31 2024 at 12:49)
adaptations for nightly-2024-07-30 #15358 (1 message, latest: Jul 31 2024 at 09:36)
#15181 adaptations for nightly-2024-07-26 (4 messages, latest: Jul 29 2024 at 06:36)
Bumping more often (10 messages, latest: Jul 26 2024 at 08:35)
#15147 adaptations for nightly-2024-07-25 (3 messages, latest: Jul 26 2024 at 06:20)
2024-07-25 (1 message, latest: Jul 25 2024 at 22:01)
#15046 adaptations for nightly-2024-07-22 (8 messages, latest: Jul 24 2024 at 23:47)
merge conflicts avoidable? (18 messages, latest: Jul 24 2024 at 06:04)
Toolchain on nightly testing (3 messages, latest: Jul 24 2024 at 05:33)
#14942 adaptations for nightly-2024-07-19 (3 messages, latest: Jul 22 2024 at 20:12)
#14888 adaptations for nightly-2024-07-18 (3 messages, latest: Jul 22 2024 at 20:11)
nightly-testing adaptions for nightly-2024-07-20 (2 messages, latest: Jul 21 2024 at 12:55)
#14846 adaptations for nightly-2024-07-17 (19 messages, latest: Jul 19 2024 at 13:42)
#14812 adaptations for nightly-2024-07-16 (1 message, latest: Jul 16 2024 at 19:35)
#14783 adaptations for nightly-2024-07-12 (3 messages, latest: Jul 16 2024 at 16:52)
#14604 adaptations for nightly-2024-07-09 (8 messages, latest: Jul 15 2024 at 19:13)
lean-pr-testing-4595 (71 messages, latest: Jul 10 2024 at 19:57)
#14532 adaptations for nightly-2024-07-07 (1 message, latest: Jul 08 2024 at 18:38)
change to simp normal form for List lookup (16 messages, latest: Jul 07 2024 at 14:24)
#14311 merge bump/v4.10.0 into master (2 messages, latest: Jul 01 2024 at 01:40)
#14306 adaptations for nightly-2024-06-30 (2 messages, latest: Jun 30 2024 at 23:28)
#14267 adaptations for nightly-2024-06-29 (5 messages, latest: Jun 30 2024 at 06:59)
#14255 adaptations for nightly-2024-06-28 (1 message, latest: Jun 29 2024 at 07:16)
#14218 adaptations for nightly-2024-06-27 (2 messages, latest: Jun 28 2024 at 05:18)
#14148 adaptations for nightly-2024-06-25 (7 messages, latest: Jun 27 2024 at 14:51)
#14189 adaptations for nightly-2024-06-26 (1 message, latest: Jun 27 2024 at 11:38)
Rename in Batteries (24 messages, latest: Jun 26 2024 at 13:46)
RFC regarding adaptions for lean#2793 (16 messages, latest: Jun 24 2024 at 11:21)
#14072 adaptations for nightly-2024-06-23 (2 messages, latest: Jun 24 2024 at 05:06)
adaptations for lean#2793 (9 messages, latest: Jun 23 2024 at 20:13)
#14042 adaptations for nightly-2024-06-22 (1 message, latest: Jun 23 2024 at 00:38)
#13981 adaptations for nightly-2024-06-19 (1 message, latest: Jun 20 2024 at 05:54)
#13919 adaptations for nightly-2024-06-17 (3 messages, latest: Jun 20 2024 at 05:37)
#13886 adaptations for nightly-2024-06-16 (1 message, latest: Jun 17 2024 at 02:35)
#13868 adaptations for nightly-2024-06-15 (2 messages, latest: Jun 16 2024 at 07:06)
#13811 adaptations for nightly-2024-06-12 (3 messages, latest: Jun 15 2024 at 08:57)
"Adaptation note" on mathlib master (9 messages, latest: Jun 10 2024 at 08:53)
#13584 chore: merge bump/v4.9.0 (1 message, latest: Jun 07 2024 at 01:34)
#13560 adaptations for nightly-2024-06-06 (14 messages, latest: Jun 06 2024 at 13:16)
batteries#825 adaptations for nightly-2024-06-06 (2 messages, latest: Jun 06 2024 at 11:53)
#13550 adaptations for nightly-2024-05-06 (7 messages, latest: Jun 06 2024 at 11:20)
#13523 adaptations for nightly-2024-06-04 (1 message, latest: Jun 05 2024 at 01:02)
#13491 adaptations for nightly-2024-06-02 (3 messages, latest: Jun 04 2024 at 05:23)
test failure due to warning: manifest out of date (7 messages, latest: Jun 04 2024 at 00:12)
Aesop (3 messages, latest: Jun 01 2024 at 10:52)
#13414, adaptations for nightly-2024-05-31 (1 message, latest: May 31 2024 at 14:30)
#13345, adaptations for nightly-2024-05-29 (1 message, latest: May 29 2024 at 16:52)
#13304, adaptations for nightly-2024-05-27 (1 message, latest: May 28 2024 at 09:36)
#13141, adaptations for nightly-2024-05-23 (1 message, latest: May 23 2024 at 11:13)
#12902, adaptations for nightly-2024-05-14 (30 messages, latest: May 15 2024 at 05:44)
#12853, adaptations for nightly-2024-05-11 (5 messages, latest: May 13 2024 at 08:33)
#12746, adaptations for nightly-2024-05-07 (1 message, latest: May 07 2024 at 23:28)
Std status updates (122 messages, latest: May 06 2024 at 11:11)
#adaptation_note (31 messages, latest: May 06 2024 at 09:08)
aesop reference (1 message, latest: May 02 2024 at 13:29)
#12595, adaptation to nightly-2024-05-02 (1 message, latest: May 02 2024 at 10:31)
#12587, adaptations for nightly-2024-05-01 (1 message, latest: May 02 2024 at 00:06)
#12548, merging bump/v4.8.0 back to master (20 messages, latest: May 01 2024 at 18:59)
#12530, adaptations for nightly-2024-04-30 (17 messages, latest: Apr 30 2024 at 12:29)
lake is printing "build" lines even when oleans are present? (6 messages, latest: Apr 30 2024 at 11:53)
#12354, adaptations for nightly-2024-04-21 (4 messages, latest: Apr 23 2024 at 07:56)
#12258, adaptations for nightly-2024-04-17 (6 messages, latest: Apr 22 2024 at 12:57)
#12177, adaptations for nightly-2024-04-14 (2 messages, latest: Apr 19 2024 at 05:28)
merging master into bump/v4.8.0 (10 messages, latest: Apr 19 2024 at 01:10)
#11997, adaptations for nightly-2024-04-07 (32 messages, latest: Apr 18 2024 at 08:46)
Mathlib status update (1 message, latest: Apr 15 2024 at 22:17)
LinearAlgebra.CrossProduct simpnf linter typeclass timeouts (2 messages, latest: Apr 12 2024 at 21:51)
Status update bot (15 messages, latest: Apr 12 2024 at 12:55)
merge-to-nightly action failed (2 messages, latest: Apr 10 2024 at 20:34)
bump/v4.8.0 broken after merging master (1 message, latest: Apr 08 2024 at 03:32)
test/Lint.lean failure (9 messages, latest: Apr 07 2024 at 23:51)
#11735, adaptations for nightly-2024-03-27 (10 messages, latest: Apr 02 2024 at 03:26)
#11650, chore: adaptations for nightly-2024-03-24 (2 messages, latest: Mar 25 2024 at 22:20)
#11495, adaptations for nightly-2024-03-18 (3 messages, latest: Mar 22 2024 at 01:22)
#11437, adaptations for nightly-2024-03-16 (71 messages, latest: Mar 22 2024 at 00:18)
PRs to master (6 messages, latest: Mar 21 2024 at 09:09)
breakage on bump/v4.8.0 from #11333 (16 messages, latest: Mar 20 2024 at 13:18)
nightly-2024-03-14 (10 messages, latest: Mar 15 2024 at 22:23)
nightly-2024-03-13 (15 messages, latest: Mar 14 2024 at 01:56)
MoveAdd (6 messages, latest: Mar 13 2024 at 21:17)
instructions? (13 messages, latest: Mar 13 2024 at 08:44)
stream events (2 messages, latest: Mar 13 2024 at 06:50)

Last updated: May 02 2025 at 03:31 UTC