Zulip Chat Archive

Stream: nightly-testing

---

Topics:

• batteries#1567 adaptations for nightly-2025-12-20 (1 message, latest: Dec 20 2025 at 09:50)
• Batteries status updates (1129 messages, latest: Dec 20 2025 at 09:49)
• nightly-testing regression log (111 messages, latest: Dec 20 2025 at 05:25)
• Mathlib status updates (5897 messages, latest: Dec 20 2025 at 03:45)
• Docgen status updates (143 messages, latest: Dec 20 2025 at 03:07)
• mathlib test executable (220 messages, latest: Dec 20 2025 at 00:38)
• batteries#1566 adaptations for nightly-2025-12-19 (1 message, latest: Dec 19 2025 at 09:52)
• lean4checker (192 messages, latest: Dec 19 2025 at 02:47)
• nightly#147 adaptations for nightly-2025-12-18 (1 message, latest: Dec 19 2025 at 02:05)
• mathlib test executable failure (143 messages, latest: Dec 18 2025 at 15:58)
• batteries#1565 adaptations for nightly-2025-12-18 (1 message, latest: Dec 18 2025 at 10:14)
• Mathlib lake update failure (174 messages, latest: Dec 18 2025 at 03:44)
• Mathlib lake update success (56 messages, latest: Dec 18 2025 at 01:35)
• nightly#146 adaptations for nightly-2025-12-17 (2 messages, latest: Dec 17 2025 at 23:19)
• cslib#228 adaptations for nightly-2025-12-17 (1 message, latest: Dec 17 2025 at 13:22)
• Cslib status updates (50 messages, latest: Dec 17 2025 at 13:21)
• batteries#1564 adaptations for nightly-2025-12-17 (1 message, latest: Dec 17 2025 at 09:54)
• nightly#145 adaptations for nightly-2025-12-16 (2 messages, latest: Dec 17 2025 at 04:46)
• batteries#1563 adaptations for nightly-2025-12-16 (1 message, latest: Dec 16 2025 at 21:29)
• cslib#226 adaptations for nightly-2025-12-16 (1 message, latest: Dec 16 2025 at 19:11)
• Mathlib bump branch reminders (802 messages, latest: Dec 16 2025 at 17:12)
• cslib#222 adaptations for nightly-2025-12-15 (1 message, latest: Dec 15 2025 at 13:23)
• nightly#144 adaptations for nightly-2025-12-15 (1 message, latest: Dec 15 2025 at 10:17)
• batteries#1561 adaptations for nightly-2025-12-15 (1 message, latest: Dec 15 2025 at 09:56)
• cslib#219 adaptations for nightly-2025-12-14 (1 message, latest: Dec 14 2025 at 21:41)
• Cslib bump branch reminders (7 messages, latest: Dec 14 2025 at 13:17)
• nightly#143 adaptations for nightly-2025-12-14 (2 messages, latest: Dec 14 2025 at 11:24)
• nightly#142 adaptations for nightly-2025-12-13 (3 messages, latest: Dec 14 2025 at 09:56)
• Batteries bump branch reminders (125 messages, latest: Dec 14 2025 at 08:56)
• batteries#1559 adaptations for nightly-2025-12-14 (1 message, latest: Dec 14 2025 at 08:56)
• batteries#1558 adaptations for nightly-2025-12-13 (2 messages, latest: Dec 13 2025 at 10:55)
• Mergeable lean testing PRs (287 messages, latest: Dec 13 2025 at 08:53)
• lean4checker failure (176 messages, latest: Dec 13 2025 at 02:52)
• batteries#1556 adaptations for nightly-2025-12-12 (1 message, latest: Dec 12 2025 at 11:40)
• batteries#1555 adaptations for nightly-2025-12-11 (2 messages, latest: Dec 11 2025 at 10:34)
• cslib#210 adaptations for nightly-2025-12-10 (1 message, latest: Dec 11 2025 at 01:09)
• nightly#141 adaptations for nightly-2025-12-10 (2 messages, latest: Dec 10 2025 at 23:15)
• batteries#1554 adaptations for nightly-2025-12-10 (1 message, latest: Dec 10 2025 at 22:11)
• nightly#138 adaptations for nightly-2025-12-09 (1 message, latest: Dec 09 2025 at 10:25)
• batteries#1553 adaptations for nightly-2025-12-09 (1 message, latest: Dec 09 2025 at 09:52)
• release of v4.27.0-rc1 (1 message, latest: Dec 09 2025 at 00:55)
• nightly#137 adaptations for nightly-2025-12-08 (2 messages, latest: Dec 09 2025 at 00:55)
• cslib#205 adaptations for nightly-2025-12-08 (1 message, latest: Dec 08 2025 at 13:21)
• batteries#1552 adaptations for nightly-2025-12-08 (1 message, latest: Dec 08 2025 at 11:00)
• cslib#204 adaptations for nightly-2025-12-07 (1 message, latest: Dec 07 2025 at 13:16)
• batteries#1551 adaptations for nightly-2025-12-07 (1 message, latest: Dec 07 2025 at 09:50)
• batteries#1550 adaptations for nightly-2025-12-06 (1 message, latest: Dec 06 2025 at 09:50)
• cslib#200 adaptations for nightly-2025-12-05 (1 message, latest: Dec 05 2025 at 16:09)
• batteries#1548 adaptations for nightly-2025-12-05 (1 message, latest: Dec 05 2025 at 09:52)
• nightly#133 adaptations for nightly-2025-12-04 (1 message, latest: Dec 05 2025 at 00:40)
• cslib#197 adaptations for nightly-2025-12-04 (1 message, latest: Dec 04 2025 at 16:11)
• batteries#1547 adaptations for nightly-2025-12-04 (1 message, latest: Dec 04 2025 at 09:53)
• nightly#131 adaptations for nightly-2025-12-03 (6 messages, latest: Dec 04 2025 at 09:46)
• batteries#1546 adaptations for nightly-2025-12-03 (1 message, latest: Dec 04 2025 at 03:56)
• nightly#128 adaptations for nightly-2025-11-27 (5 messages, latest: Dec 03 2025 at 10:28)
• batteries#1542 adaptations for nightly-2025-12-02 (1 message, latest: Dec 02 2025 at 09:54)
• cslib#193 adaptations for nightly-2025-12-01 (1 message, latest: Dec 01 2025 at 14:52)
• batteries#1540 adaptations for nightly-2025-12-01 (1 message, latest: Dec 01 2025 at 13:06)
• batteries#1539 adaptations for nightly-2025-11-30 (1 message, latest: Nov 30 2025 at 09:50)
• batteries#1538 adaptations for nightly-2025-11-29 (1 message, latest: Nov 29 2025 at 09:50)
• batteries#1536 adaptations for nightly-2025-11-28 (1 message, latest: Nov 28 2025 at 18:53)
• cslib#190 adaptations for nightly-2025-11-27 (1 message, latest: Nov 28 2025 at 15:04)
• batteries#1534 adaptations for nightly-2025-11-27 (1 message, latest: Nov 27 2025 at 09:51)
• Cloudflare cache failure (480 messages, latest: Nov 27 2025 at 01:24)
• nightly#127 adaptations for nightly-2025-11-25 (10 messages, latest: Nov 26 2025 at 08:50)
• batteries#1533 adaptations for nightly-2025-11-25 (1 message, latest: Nov 25 2025 at 11:17)
• cslib#183 adaptations for nightly-2025-11-24 (1 message, latest: Nov 24 2025 at 16:12)
• batteries#1532 adaptations for nightly-2025-11-24 (1 message, latest: Nov 24 2025 at 11:23)
• cslib#182 adaptations for nightly-2025-11-23 (1 message, latest: Nov 24 2025 at 00:56)
• nightly#124 adaptations for nightly-2025-11-23 (2 messages, latest: Nov 23 2025 at 21:41)
• nightly#123 adaptations for nightly-2025-11-22 (2 messages, latest: Nov 23 2025 at 10:20)
• nightly#122 adaptations for nightly-2025-11-21 (3 messages, latest: Nov 23 2025 at 10:15)
• batteries#1529 adaptations for nightly-2025-11-23 (1 message, latest: Nov 23 2025 at 09:50)
• nightly#121 adaptations for nightly-2025-11-20 (4 messages, latest: Nov 23 2025 at 04:16)
• cslib#179 adaptations for nightly-2025-11-21 (1 message, latest: Nov 23 2025 at 04:14)
• batteries#1528 adaptations for nightly-2025-11-22 (1 message, latest: Nov 23 2025 at 04:10)
• cslib#175 adaptations for nightly-2025-11-20 (1 message, latest: Nov 21 2025 at 10:04)
• batteries#1526 adaptations for nightly-2025-11-21 (1 message, latest: Nov 21 2025 at 09:51)
• batteries#1524 adaptations for nightly-2025-11-20 (1 message, latest: Nov 20 2025 at 11:04)
• Safe to reinstate lemmas if they work on master? (5 messages, latest: Nov 19 2025 at 17:47)
• batteries#1523 adaptations for nightly-2025-11-19 (1 message, latest: Nov 19 2025 at 11:03)
• nightly#120 adaptations for nightly-2025-11-18 (1 message, latest: Nov 19 2025 at 07:25)
• cslib#169 adaptations for nightly-2025-11-18 (1 message, latest: Nov 19 2025 at 03:59)
• batteries#1521 adaptations for nightly-2025-11-18 (1 message, latest: Nov 18 2025 at 09:51)
• moving to the module system (96 messages, latest: Nov 17 2025 at 12:22)
• nightly#119 adaptations for nightly-2025-11-17 (1 message, latest: Nov 17 2025 at 12:12)
• nightly#118 adaptations for nightly-2025-11-16 (1 message, latest: Nov 16 2025 at 23:31)
• nightly#117 adaptations for nightly-2025-11-15 (4 messages, latest: Nov 16 2025 at 22:15)
• batteries#1517 adaptations for nightly-2025-11-16 (1 message, latest: Nov 16 2025 at 09:50)
• Mathlib remove outdated deprecated declarations (24 messages, latest: Nov 15 2025 at 12:42)
• batteries#1516 adaptations for nightly-2025-11-15 (1 message, latest: Nov 15 2025 at 09:50)
• nightly#116 adaptations for nightly-2025-11-14 (4 messages, latest: Nov 15 2025 at 07:52)
• batteries#1514 adaptations for nightly-2025-11-14 (1 message, latest: Nov 14 2025 at 14:25)
• feat: add test for register_try?_tactic nightly#115 (2 messages, latest: Nov 14 2025 at 10:39)
• nightly#114 adaptations for nightly-2025-11-13 (1 message, latest: Nov 13 2025 at 11:22)
• batteries#1512 adaptations for nightly-2025-11-13 (1 message, latest: Nov 13 2025 at 10:15)
• nightly#113 adaptations for nightly-2025-11-12 (1 message, latest: Nov 12 2025 at 12:36)
• batteries#1510 adaptations for nightly-2025-11-12 (1 message, latest: Nov 12 2025 at 09:51)
• nightly#112 adaptations for nightly-2025-11-11 (1 message, latest: Nov 11 2025 at 11:10)
• batteries#1509 adaptations for nightly-2025-11-11 (1 message, latest: Nov 11 2025 at 09:58)
• batteries#1505 adaptations for nightly-2025-11-10 (1 message, latest: Nov 10 2025 at 09:52)
• nightly#111 adaptations for nightly-2025-11-08 (1 message, latest: Nov 08 2025 at 10:56)
• batteries#1501 adaptations for nightly-2025-11-08 (1 message, latest: Nov 08 2025 at 09:50)
• nightly#110 adaptations for nightly-2025-11-07 (1 message, latest: Nov 08 2025 at 02:08)
• batteries#1499 adaptations for nightly-2025-11-07 (1 message, latest: Nov 07 2025 at 09:50)
• nightly#109 adaptations for nightly-2025-11-06 (1 message, latest: Nov 06 2025 at 10:53)
• less frequent master bumps? (2 messages, latest: Nov 06 2025 at 10:17)
• batteries#1495 adaptations for nightly-2025-11-06 (1 message, latest: Nov 06 2025 at 09:51)
• nightly#108 adaptations for nightly-2025-11-05 (1 message, latest: Nov 05 2025 at 10:58)
• batteries#1494 adaptations for nightly-2025-11-05 (1 message, latest: Nov 05 2025 at 09:51)
• nightly#107 adaptations for nightly-2025-11-04 (1 message, latest: Nov 04 2025 at 22:49)
• nightly#104 adaptations for nightly-2025-11-03 (4 messages, latest: Nov 04 2025 at 12:30)
• batteries#1493 adaptations for nightly-2025-11-04 (1 message, latest: Nov 04 2025 at 09:52)
• nightly#103 adaptations for nightly-2025-11-02 (9 messages, latest: Nov 03 2025 at 14:40)
• batteries#1488 adaptations for nightly-2025-11-03 (1 message, latest: Nov 03 2025 at 09:52)
• batteries#1487 adaptations for nightly-2025-11-02 (1 message, latest: Nov 03 2025 at 04:48)
• Aesop search tree cycles (10 messages, latest: Nov 03 2025 at 02:20)
• nightly#102 adaptations for nightly-2025-10-29 (9 messages, latest: Nov 02 2025 at 12:21)
• batteries#1485 adaptations for nightly-2025-11-01 (1 message, latest: Nov 01 2025 at 13:02)
• batteries#1484 adaptations for nightly-2025-10-31 (1 message, latest: Oct 31 2025 at 09:51)
• batteries#1483 adaptations for nightly-2025-10-30 (1 message, latest: Oct 30 2025 at 10:59)
• nightly#100 adaptations for nightly-2025-10-28 (4 messages, latest: Oct 29 2025 at 22:51)
• batteries#1481 adaptations for nightly-2025-10-29 (3 messages, latest: Oct 29 2025 at 11:18)
• nightly#99 adaptations for nightly-2025-10-27 (2 messages, latest: Oct 27 2025 at 14:23)
• batteries#1480 adaptations for nightly-2025-10-27 (1 message, latest: Oct 27 2025 at 09:52)
• nightly#98 adaptations for nightly-2025-10-26 (1 message, latest: Oct 26 2025 at 11:15)
• batteries#1478 adaptations for nightly-2025-10-26 (1 message, latest: Oct 26 2025 at 09:50)
• nightly#97 adaptations for nightly-2025-10-25 (1 message, latest: Oct 25 2025 at 23:08)
• batteries#1477 adaptations for nightly-2025-10-25 (1 message, latest: Oct 25 2025 at 22:51)
• batteries#1476 adaptations for nightly-2025-10-24 (1 message, latest: Oct 24 2025 at 10:13)
• nightly#96 adaptations for nightly-2025-10-21 (1 message, latest: Oct 21 2025 at 12:07)
• batteries#1473 adaptations for nightly-2025-10-21 (1 message, latest: Oct 21 2025 at 09:51)
• nightly#95 adaptations for nightly-2025-10-20 (2 messages, latest: Oct 21 2025 at 04:04)
• nightly#93 adaptations for nightly-2025-10-20 (1 message, latest: Oct 20 2025 at 11:23)
• nightly#91 adaptations for nightly-2025-10-19 (6 messages, latest: Oct 20 2025 at 10:58)
• batteries#1470 adaptations for nightly-2025-10-20 (1 message, latest: Oct 20 2025 at 09:51)
• batteries#1469 adaptations for nightly-2025-10-19 (1 message, latest: Oct 20 2025 at 04:10)
• batteries#1467 adaptations for nightly-2025-10-18 (1 message, latest: Oct 18 2025 at 15:50)
• batteries#1466 adaptations for nightly-2025-10-17 (1 message, latest: Oct 17 2025 at 09:23)
• batteries#1464 adaptations for nightly-2025-10-16 (1 message, latest: Oct 16 2025 at 21:35)
• nightly#89 adaptations for nightly-2025-10-13 (2 messages, latest: Oct 13 2025 at 14:20)
• batteries#1462 adaptations for nightly-2025-10-13 (1 message, latest: Oct 13 2025 at 13:02)
• nightly#88 adaptations for nightly-2025-10-12 (3 messages, latest: Oct 13 2025 at 06:52)
• batteries#1461 adaptations for nightly-2025-10-12 (1 message, latest: Oct 12 2025 at 12:58)
• nightly#87 adaptations for nightly-2025-10-11 (3 messages, latest: Oct 11 2025 at 14:09)
• batteries#1458 adaptations for nightly-2025-10-11 (1 message, latest: Oct 11 2025 at 12:29)
• nightly#86 adaptations for nightly-2025-10-10 (3 messages, latest: Oct 11 2025 at 06:42)
• batteries#1454 adaptations for nightly-2025-10-10 (1 message, latest: Oct 10 2025 at 10:54)
• batteries#1453 adaptations for nightly-2025-10-09 (1 message, latest: Oct 09 2025 at 16:09)
• nightly#85 adaptations for nightly-2025-10-09 (1 message, latest: Oct 09 2025 at 11:04)
• nightly#84 adaptations for nightly-2025-10-08 (1 message, latest: Oct 09 2025 at 02:08)
• batteries#1451 adaptations for nightly-2025-10-08 (1 message, latest: Oct 08 2025 at 14:04)
• batteries#1450 adaptations for nightly-2025-10-07 (1 message, latest: Oct 07 2025 at 13:02)
• nightly#83 adaptations for nightly-2025-10-07 (1 message, latest: Oct 07 2025 at 11:08)
• nightly#82 adaptations for nightly-2025-10-06 (1 message, latest: Oct 06 2025 at 11:44)
• batteries#1446 adaptations for nightly-2025-10-06 (1 message, latest: Oct 06 2025 at 09:50)
• nightly#81 adaptations for nightly-2025-10-05 (1 message, latest: Oct 06 2025 at 09:23)
• batteries#1445 adaptations for nightly-2025-10-05 (1 message, latest: Oct 05 2025 at 15:50)
• batteries#1444 adaptations for nightly-2025-10-03 (1 message, latest: Oct 05 2025 at 14:34)
• nightly#79 adaptations for nightly-2025-10-02 (1 message, latest: Oct 02 2025 at 13:35)
• batteries#1440 adaptations for nightly-2025-10-02 (1 message, latest: Oct 02 2025 at 10:32)
• nightly#78 adaptations for nightly-2025-10-01 (1 message, latest: Oct 01 2025 at 10:59)
• batteries#1439 adaptations for nightly-2025-10-01 (1 message, latest: Oct 01 2025 at 09:50)
• nightly#77 adaptations for nightly-2025-09-30 (1 message, latest: Sep 30 2025 at 14:48)
• batteries#1438 adaptations for nightly-2025-09-30 (1 message, latest: Sep 30 2025 at 09:51)
• batteries#1434 adaptations for nightly-2025-09-29 (1 message, latest: Sep 29 2025 at 09:50)
• batteries#1432 adaptations for nightly-2025-09-28 (1 message, latest: Sep 28 2025 at 09:50)
• batteries#1430 adaptations for nightly-2025-09-26 (1 message, latest: Sep 26 2025 at 13:01)
• batteries#1429 adaptations for nightly-2025-09-25 (1 message, latest: Sep 25 2025 at 10:40)
• nightly#75 adaptations for nightly-2025-09-24 (2 messages, latest: Sep 25 2025 at 04:53)
• nightly#73 adaptations for nightly-2025-09-23 (2 messages, latest: Sep 25 2025 at 01:16)
• batteries#1427 adaptations for nightly-2025-09-24 (1 message, latest: Sep 24 2025 at 09:50)
• batteries#1426 adaptations for nightly-2025-09-23 (1 message, latest: Sep 23 2025 at 11:17)
• nightly#72 adaptations for nightly-2025-09-22 (2 messages, latest: Sep 22 2025 at 23:47)
• batteries#1423 adaptations for nightly-2025-09-21 (3 messages, latest: Sep 22 2025 at 13:17)
• batteries#1424 adaptations for nightly-2025-09-22 (1 message, latest: Sep 22 2025 at 09:51)
• nightly#71 adaptations for nightly-2025-09-21 (2 messages, latest: Sep 22 2025 at 03:58)
• nightly#69 adaptations for nightly-2025-09-18 (1 message, latest: Sep 18 2025 at 14:27)
• batteries#1420 adaptations for nightly-2025-09-18 (1 message, latest: Sep 18 2025 at 11:54)
• nightly#68 adaptations for nightly-2025-09-17 (1 message, latest: Sep 17 2025 at 11:00)
• batteries#1419 adaptations for nightly-2025-09-17 (1 message, latest: Sep 17 2025 at 09:50)
• nightly#66 adaptations for nightly-2025-09-16 (1 message, latest: Sep 17 2025 at 01:30)
• batteries#1418 adaptations for nightly-2025-09-16 (1 message, latest: Sep 16 2025 at 09:50)
• nightly#64 adaptations for nightly-2025-09-15 (1 message, latest: Sep 15 2025 at 16:41)
• nightly#63 adaptations for nightly-2025-09-15 (1 message, latest: Sep 15 2025 at 10:22)
• batteries#1416 adaptations for nightly-2025-09-15 (1 message, latest: Sep 15 2025 at 09:50)
• nightly#61 adaptations for nightly-2025-09-12 (6 messages, latest: Sep 15 2025 at 07:04)
• aesop, whitespace in tests (1 message, latest: Sep 15 2025 at 06:55)
• nightly#62 adaptations for nightly-2025-09-14 (1 message, latest: Sep 15 2025 at 00:17)
• batteries#1414 adaptations for nightly-2025-09-14 (5 messages, latest: Sep 14 2025 at 23:35)
• aesop test instability (1 message, latest: Sep 14 2025 at 23:19)
• nightly#60 adaptations for nightly-2025-09-11 (3 messages, latest: Sep 12 2025 at 22:06)
• batteries#1412 adaptations for nightly-2025-09-11 (1 message, latest: Sep 11 2025 at 22:29)
• nightly#59 adaptations for nightly-2025-09-09 (3 messages, latest: Sep 10 2025 at 10:11)
• batteries#1410 adaptations for nightly-2025-09-10 (1 message, latest: Sep 10 2025 at 09:50)
• Cloudflare cache upload failure (3 messages, latest: Sep 09 2025 at 22:27)
• batteries#1409 adaptations for nightly-2025-09-09 (1 message, latest: Sep 09 2025 at 09:50)
• batteries#1408 adaptations for nightly-2025-09-08 (1 message, latest: Sep 08 2025 at 13:02)
• nightly#56 adaptations for nightly-2025-09-05 (7 messages, latest: Sep 08 2025 at 00:13)
• batteries#1407 adaptations for nightly-2025-09-07 (2 messages, latest: Sep 08 2025 at 00:08)
• batteries#1404 adaptations for nightly-2025-09-06 (1 message, latest: Sep 06 2025 at 09:50)
• batteries#1403 adaptations for nightly-2025-09-05 (1 message, latest: Sep 05 2025 at 09:50)
• nightly#53 adaptations for nightly-2025-09-04 (1 message, latest: Sep 04 2025 at 11:19)
• batteries#1402 adaptations for nightly-2025-09-04 (1 message, latest: Sep 04 2025 at 09:50)
• nightly#52 adaptations for nightly-2025-09-03 (2 messages, latest: Sep 04 2025 at 03:53)
• nightly#51 adaptations for nightly-2025-09-02 (6 messages, latest: Sep 04 2025 at 03:50)
• batteries#1401 adaptations for nightly-2025-09-03 (1 message, latest: Sep 03 2025 at 09:50)
• nightly#49 adaptations for nightly-2025-08-31 (5 messages, latest: Sep 03 2025 at 01:22)
• batteries#1400 adaptations for nightly-2025-09-02 (1 message, latest: Sep 02 2025 at 23:25)
• nightly#48 adaptations for nightly-2025-08-30 (10 messages, latest: Sep 02 2025 at 14:12)
• nightly#47 adaptations for nightly-2025-08-27 (5 messages, latest: Sep 02 2025 at 12:32)
• batteries#1396 adaptations for nightly-2025-08-31 (1 message, latest: Aug 31 2025 at 09:50)
• batteries#1394 adaptations for nightly-2025-08-30 (1 message, latest: Aug 30 2025 at 09:50)
• batteries#1393 adaptations for nightly-2025-08-29 (1 message, latest: Aug 29 2025 at 12:19)
• batteries#1391 adaptations for nightly-2025-08-27 (2 messages, latest: Aug 27 2025 at 22:29)
• cache fetching slow (3 messages, latest: Aug 27 2025 at 22:13)
• Aesop status updates (3 messages, latest: Aug 27 2025 at 09:09)
• batteries#1390 adaptations for nightly-2025-08-26 (1 message, latest: Aug 27 2025 at 08:43)
• nightly#44 adaptations for nightly-2025-08-25 (4 messages, latest: Aug 27 2025 at 00:50)
• nightly#43 adaptations for nightly-2025-08-25 (4 messages, latest: Aug 26 2025 at 13:14)
• batteries#1389 adaptations for nightly-2025-08-25 (1 message, latest: Aug 25 2025 at 23:34)
• batteries#1388 adaptations for nightly-2025-08-24 (1 message, latest: Aug 24 2025 at 10:39)
• nightly#41 adaptations for nightly-2025-08-21 (4 messages, latest: Aug 24 2025 at 09:04)
• batteries#1386 adaptations for nightly-2025-08-21 (1 message, latest: Aug 21 2025 at 09:50)
• nightly#40 adaptations for nightly-2025-08-20 (1 message, latest: Aug 20 2025 at 23:18)
• batteries#1385 adaptations for nightly-2025-08-20 (2 messages, latest: Aug 20 2025 at 22:59)
• nightly#39 adaptations for nightly-2025-08-19 (1 message, latest: Aug 20 2025 at 02:35)
• batteries#1384 adaptations for nightly-2025-08-19 (2 messages, latest: Aug 19 2025 at 23:10)
• nightly#38 adaptations for nightly-2025-08-18 (3 messages, latest: Aug 18 2025 at 15:02)
• batteries#1383 adaptations for nightly-2025-08-18 (1 message, latest: Aug 18 2025 at 09:52)
• nightly#37 adaptations for nightly-2025-08-17 (1 message, latest: Aug 17 2025 at 10:26)
• batteries#1382 adaptations for nightly-2025-08-17 (1 message, latest: Aug 17 2025 at 09:50)
• nightly#36 adaptations for nightly-2025-08-16 (1 message, latest: Aug 16 2025 at 10:43)
• batteries#1381 adaptations for nightly-2025-08-16 (1 message, latest: Aug 16 2025 at 09:50)
• batteries#1378 adaptations for nightly-2025-08-14 (1 message, latest: Aug 14 2025 at 09:52)
• nightly#34 adaptations for nightly-2025-08-13 (3 messages, latest: Aug 13 2025 at 22:11)
• batteries#1375 adaptations for nightly-2025-08-13 (1 message, latest: Aug 13 2025 at 09:52)
• nightly#33 adaptations for nightly-2025-08-12 (1 message, latest: Aug 13 2025 at 05:31)
• batteries#1374 adaptations for nightly-2025-08-12 (1 message, latest: Aug 12 2025 at 09:51)
• batteries#1373 adaptations for nightly-2025-08-11 (1 message, latest: Aug 11 2025 at 11:09)
• nightly#32 adaptations for nightly-2025-08-11 (2 messages, latest: Aug 11 2025 at 11:07)
• nightly#31 adaptations for nightly-2025-08-10 (2 messages, latest: Aug 11 2025 at 06:12)
• updating secrets (1 message, latest: Aug 10 2025 at 23:12)
• batteries#1371 adaptations for nightly-2025-08-10 (1 message, latest: Aug 10 2025 at 09:50)
• batteries#1370 adaptations for nightly-2025-08-08 (1 message, latest: Aug 08 2025 at 11:59)
• nightly#29 adaptations for nightly-2025-08-06 (2 messages, latest: Aug 07 2025 at 03:17)
• batteries#1368 adaptations for nightly-2025-08-06 (1 message, latest: Aug 06 2025 at 09:54)
• nightly#27 adaptations for nightly-2025-08-05 (2 messages, latest: Aug 06 2025 at 01:52)
• batteries#1367 adaptations for nightly-2025-08-05 (1 message, latest: Aug 05 2025 at 09:54)
• nightly#26 adaptations for nightly-2025-08-04 (1 message, latest: Aug 04 2025 at 14:03)
• batteries#1366 adaptations for nightly-2025-08-04 (1 message, latest: Aug 04 2025 at 09:56)
• nightly#25 adaptations for nightly-2025-08-03 (4 messages, latest: Aug 04 2025 at 02:41)
• batteries#1364 adaptations for nightly-2025-08-03 (1 message, latest: Aug 03 2025 at 09:51)
• batteris bump job (8 messages, latest: Aug 03 2025 at 08:43)
• batteries#1363 adaptations for nightly-2025-08-02 (1 message, latest: Aug 02 2025 at 10:43)
• batteries#1361 adaptations for nightly-2025-07-31 (1 message, latest: Jul 31 2025 at 09:53)
• batteries#1355 adaptations for nightly-2025-07-30 (1 message, latest: Jul 31 2025 at 00:18)
• nightly#23 adaptations for nightly-2025-07-29 (3 messages, latest: Jul 29 2025 at 10:59)
• batteries#1353 adaptations for nightly-2025-07-29 (1 message, latest: Jul 29 2025 at 09:53)
• batteries#1352 adaptations for nightly-2025-07-28 (1 message, latest: Jul 28 2025 at 09:54)
• batteries#1350 adaptations for nightly-2025-07-27 (1 message, latest: Jul 27 2025 at 09:51)
• ✔ batteries#1347 adaptations for nightly-2025-07-26 (2 messages, latest: Jul 27 2025 at 03:06)
• batteries#1346 adaptations for nightly-2025-07-25 (1 message, latest: Jul 25 2025 at 09:53)
• ✔ batteries#1342 adaptations for nightly-2025-07-24 (2 messages, latest: Jul 24 2025 at 23:34)
• ✔ batteries#1339 adaptations for nightly-2025-07-23 (2 messages, latest: Jul 24 2025 at 00:33)
• batteries#1338 adaptations for nightly-2025-07-22 (1 message, latest: Jul 23 2025 at 03:20)
• batteries#1335 adaptations for nightly-2025-07-21 (1 message, latest: Jul 21 2025 at 09:54)
• nightly#15 adaptations for nightly-2025-07-18 (1 message, latest: Jul 19 2025 at 03:36)
• batteries#1330 adaptations for nightly-2025-07-18 (1 message, latest: Jul 18 2025 at 09:53)
• batteries#1329 adaptations for nightly-2025-07-17 (1 message, latest: Jul 17 2025 at 09:52)
• batteries#1328 adaptations for nightly-2025-07-16 (1 message, latest: Jul 16 2025 at 09:53)
• batteries#1327 adaptations for nightly-2025-07-15 (1 message, latest: Jul 15 2025 at 13:05)
• batteries#1326 adaptations for nightly-2025-07-14 (1 message, latest: Jul 14 2025 at 09:53)
• batteries#1325 adaptations for nightly-2025-07-13 (1 message, latest: Jul 13 2025 at 09:50)
• batteries#1324 adaptations for nightly-2025-07-12 (1 message, latest: Jul 12 2025 at 09:50)
• batteries#1323 adaptations for nightly-2025-07-11 (1 message, latest: Jul 11 2025 at 09:51)
• batteries#1321 adaptations for nightly-2025-07-10 (1 message, latest: Jul 10 2025 at 09:51)
• batteries#1320 adaptations for nightly-2025-07-09 (1 message, latest: Jul 09 2025 at 09:52)
• batteries#1319 adaptations for nightly-2025-07-08 (1 message, latest: Jul 08 2025 at 09:51)
• batteries#1318 adaptations for nightly-2025-07-07 (1 message, latest: Jul 07 2025 at 09:51)
• batteries#1317 adaptations for nightly-2025-07-06 (1 message, latest: Jul 06 2025 at 09:49)
• batteries#1316 adaptations for nightly-2025-07-05 (1 message, latest: Jul 05 2025 at 09:49)
• batteries#1315 adaptations for nightly-2025-07-04 (1 message, latest: Jul 04 2025 at 09:51)
• ✔ nightly#9 adaptations for nightly-2025-07-02 (4 messages, latest: Jul 03 2025 at 11:54)
• ✔ nightly#10 adaptations for nightly-2025-07-03 (2 messages, latest: Jul 03 2025 at 11:53)
• batteries#1311 adaptations for nightly-2025-07-03 (1 message, latest: Jul 03 2025 at 09:52)
• nightly#8 adaptations for nightly-2025-06-30 (7 messages, latest: Jul 02 2025 at 13:14)
• batteries#1309 adaptations for nightly-2025-07-02 (1 message, latest: Jul 02 2025 at 10:56)
• batteries#1304 adaptations for nightly-2025-07-01 (1 message, latest: Jul 01 2025 at 12:21)
• Can't merge a PR to aesop master (5 messages, latest: Jun 30 2025 at 23:19)
• doc-gen4 problems on v4.22.0-rc1 (26 messages, latest: Jun 30 2025 at 22:48)
• merging into Verso main (5 messages, latest: Jun 30 2025 at 13:34)
• nightly#5 adaptations for nightly-2025-06-28 (5 messages, latest: Jun 29 2025 at 23:22)
• nightly#6 adaptations for nightly-2025-06-29 (1 message, latest: Jun 29 2025 at 11:26)
• batteries#1296 adaptations for nightly-2025-06-29 (1 message, latest: Jun 29 2025 at 09:49)
• batteries#1295 adaptations for nightly-2025-06-28 (1 message, latest: Jun 29 2025 at 06:23)
• nightly#3 adaptations for nightly-2025-06-27 (2 messages, latest: Jun 28 2025 at 03:14)
• nightly#2 adaptations for nightly-2025-06-26 (7 messages, latest: Jun 27 2025 at 02:32)
• ✔ batteries#1290 adaptations for nightly-2025-06-26 (2 messages, latest: Jun 27 2025 at 02:12)
• moving to a fork (24 messages, latest: Jun 26 2025 at 19:16)
• linter.unusedSimpArgs (lean4#8901) (21 messages, latest: Jun 26 2025 at 10:29)
• batteries#1289 adaptations for nightly-2025-06-25 (1 message, latest: Jun 25 2025 at 09:51)
• batteries#1288 adaptations for nightly-2025-06-23 (1 message, latest: Jun 24 2025 at 00:06)
• batteries#1286 adaptations for nightly-2025-06-21 (1 message, latest: Jun 22 2025 at 03:55)
• batteries#1285 adaptations for nightly-2025-06-20 (1 message, latest: Jun 20 2025 at 13:02)
• #26209 adaptations for nightly-2025-06-20 (1 message, latest: Jun 20 2025 at 11:44)
• #26161 adaptations for nightly-2025-06-19 (3 messages, latest: Jun 19 2025 at 21:48)
• batteries#1284 adaptations for nightly-2025-06-19 (1 message, latest: Jun 19 2025 at 09:51)
• #26077 adaptations for nightly-2025-06-18 (11 messages, latest: Jun 18 2025 at 21:56)
• batteries#1282 adaptations for nightly-2025-06-18 (1 message, latest: Jun 18 2025 at 09:51)
• #26043 adaptations for nightly-2025-06-17 (1 message, latest: Jun 17 2025 at 16:17)
• adaptations for nightly-2025-06-17 (1 message, latest: Jun 17 2025 at 15:32)
• batteries#1280 adaptations for nightly-2025-06-17 (1 message, latest: Jun 17 2025 at 12:05)
• #25994 adaptations for nightly-2025-06-16 (1 message, latest: Jun 16 2025 at 23:20)
• batteries#1277 adaptations for nightly-2025-06-16 (1 message, latest: Jun 16 2025 at 13:03)
• #25940 adaptations for nightly-2025-06-15 (3 messages, latest: Jun 16 2025 at 00:26)
• batteries#1276 adaptations for nightly-2025-06-15 (1 message, latest: Jun 15 2025 at 15:50)
• batteries#1275 adaptations for nightly-2025-06-14 (1 message, latest: Jun 14 2025 at 09:50)
• batteries#1274 adaptations for nightly-2025-06-13 (1 message, latest: Jun 13 2025 at 15:40)
• #25819 adaptations for nightly-2025-06-12 (2 messages, latest: Jun 12 2025 at 23:38)
• #25719 adaptations for nightly-2025-06-11 (9 messages, latest: Jun 12 2025 at 16:49)
• #25805 adaptations for nightly-2025-06-11 (1 message, latest: Jun 12 2025 at 11:41)
• batteries#1271 adaptations for nightly-2025-06-11 (1 message, latest: Jun 11 2025 at 09:51)
• #25690 adaptations for nightly-2025-06-11 (1 message, latest: Jun 11 2025 at 08:46)
• #25644 adaptations for nightly-2025-06-09 (2 messages, latest: Jun 10 2025 at 09:35)
• batteries#1270 adaptations for nightly-2025-06-09 (1 message, latest: Jun 09 2025 at 13:03)
• batteries#1269 adaptations for nightly-2025-06-08 (1 message, latest: Jun 09 2025 at 09:57)
• git dropped a lemma during merging… why? (11 messages, latest: Jun 07 2025 at 14:31)
• batteries#1265 adaptations for nightly-2025-06-06 (1 message, latest: Jun 06 2025 at 09:51)
• #25490 adaptations for nightly-2025-06-05 (3 messages, latest: Jun 06 2025 at 00:18)
• nightly-2025-06-04 (2 messages, latest: Jun 05 2025 at 13:19)
• bot not running CI (4 messages, latest: Jun 05 2025 at 10:55)
• batteries#1264 adaptations for nightly-2025-06-05 (1 message, latest: Jun 05 2025 at 09:50)
• #25431 adaptations for nightly-2025-06-04 (6 messages, latest: Jun 04 2025 at 12:16)
• batteries#1261 adaptations for nightly-2025-06-04 (1 message, latest: Jun 04 2025 at 09:51)
• ✔ batteries#1257 adaptations for nightly-2025-06-03 (2 messages, latest: Jun 04 2025 at 01:05)
• #25390 adaptations for nightly-2025-06-03 (4 messages, latest: Jun 03 2025 at 12:48)
• #25360 adaptations for nightly-2025-06-02 (1 message, latest: Jun 02 2025 at 10:25)
• batteries#1254 adaptations for nightly-2025-06-02 (1 message, latest: Jun 02 2025 at 09:51)
• #25355 adaptations for nightly-2025-06-01 (2 messages, latest: Jun 02 2025 at 07:18)
• batteries#1253 adaptations for nightly-2025-06-01 (1 message, latest: Jun 01 2025 at 09:50)
• batteries#1252 adaptations for nightly-2025-05-31 (1 message, latest: Jun 01 2025 at 02:34)
• batteries#1250 adaptations for nightly-2025-05-30 (1 message, latest: May 30 2025 at 09:50)
• #25306 adaptations for nightly-2025-05-29 (1 message, latest: May 30 2025 at 00:32)
• batteries#1249 adaptations for nightly-2025-05-29 (1 message, latest: May 29 2025 at 23:42)
• #25295 adaptations for nightly-2025-05-28 (2 messages, latest: May 29 2025 at 11:23)
• batteries#1246 adaptations for nightly-2025-05-28 (1 message, latest: May 28 2025 at 09:51)
• #25226 adaptations for nightly-2025-05-26 (2 messages, latest: May 27 2025 at 12:30)
• #25234 adaptations for nightly-2025-05-27 (1 message, latest: May 27 2025 at 10:26)
• batteries#1245 adaptations for nightly-2025-05-27 (1 message, latest: May 27 2025 at 09:50)
• batteries#1243 adaptations for nightly-2025-05-26 (1 message, latest: May 26 2025 at 22:38)
• #25147 adaptations for nightly-2025-05-24 (8 messages, latest: May 25 2025 at 19:02)
• batteries#1241 adaptations for nightly-2025-05-25 (1 message, latest: May 25 2025 at 13:24)
• #25184 adaptations for nightly-2025-05-25 (1 message, latest: May 25 2025 at 10:05)
• batteries#1240 adaptations for nightly-2025-05-23 (1 message, latest: May 24 2025 at 09:33)
• #25110 adaptations for nightly-2025-05-22 (1 message, latest: May 22 2025 at 12:19)
• #25076 adaptations for nightly-2025-05-20 (6 messages, latest: May 22 2025 at 06:52)
• #25079 adaptations for nightly-2025-05-21 (1 message, latest: May 21 2025 at 11:14)
• batteries#1233 adaptations for nightly-2025-05-20 (1 message, latest: May 21 2025 at 07:39)
• #25017 adaptations for nightly-2025-05-19 (9 messages, latest: May 20 2025 at 05:02)
• #24970 adaptations for nightly-2025-05-17 (1 message, latest: May 17 2025 at 11:25)
• batteries#1231 adaptations for nightly-2025-05-17 (1 message, latest: May 17 2025 at 10:54)
• #24950 adaptations for nightly-2025-05-16 (1 message, latest: May 16 2025 at 11:16)
• #24929 adaptations for nightly-2025-05-14 (2 messages, latest: May 15 2025 at 08:05)
• #24865 adaptations for nightly-2025-05-13 (1 message, latest: May 13 2025 at 22:24)
• batteries#1229 adaptations for nightly-2025-05-13 (1 message, latest: May 13 2025 at 21:55)
• #24805 adaptations for nightly-2025-05-12 (1 message, latest: May 12 2025 at 10:24)
• #24770 adaptations for nightly-2025-05-11 (4 messages, latest: May 12 2025 at 04:09)
• #24736 adaptations for nightly-2025-05-10 (4 messages, latest: May 11 2025 at 13:17)
• #24714 adaptations for nightly-2025-05-09 (6 messages, latest: May 11 2025 at 04:16)
• batteries#1228 adaptations for nightly-2025-05-09 (1 message, latest: May 09 2025 at 11:53)
• batteries#1227 adaptations for nightly-2025-05-08 (2 messages, latest: May 09 2025 at 06:52)
• Mathlib/Data/Rat/Lemmas.lean (18 messages, latest: May 07 2025 at 13:26)
• #24611 adaptations for nightly-2025-05-05 (3 messages, latest: May 07 2025 at 09:15)
• batteries#1226 adaptations for nightly-2025-05-06 (1 message, latest: May 06 2025 at 13:58)
• batteries#1224 adaptations for nightly-2025-05-05 (2 messages, latest: May 05 2025 at 11:40)
• #24569 adaptations for nightly-2025-05-03 (1 message, latest: May 03 2025 at 11:29)
• v4.20.0-rc1 will be replaced shortly (1 message, latest: May 02 2025 at 09:41)
• #24524 adaptations for nightly-2025-05-01 (2 messages, latest: May 01 2025 at 19:37)
• batteries#1218 adaptations for nightly-2025-05-01 (1 message, latest: May 01 2025 at 16:37)
• #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)
• ✔ 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)
• 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: Dec 20 2025 at 21:32 UTC