Zulip Chat Archive

Stream: nightly-testing

Topic: Mathlib `lake update` success

github mathlib4 bot (Jul 27 2025 at 12:50):

:check: lake update succeeded! merged via #27530.

github mathlib4 bot (Jul 28 2025 at 19:01):

:check: lake update succeeded! merged via #27603.

github mathlib4 bot (Jul 31 2025 at 03:39):

:check: lake update succeeded! merged via #27714.

github mathlib4 bot (Aug 01 2025 at 05:13):

:check: lake update succeeded! merged via #27797.

github mathlib4 bot (Aug 04 2025 at 19:01):

:check: lake update succeeded! merged via #27945.

github mathlib4 bot (Aug 07 2025 at 00:32):

:check: lake update succeeded! merged via #28051.

github mathlib4 bot (Aug 07 2025 at 13:06):

:check: lake update succeeded! merged via #28078.

github mathlib4 bot (Aug 08 2025 at 01:29):

:check: lake update succeeded! merged via #28103.

github mathlib4 bot (Aug 10 2025 at 16:06):

:check: lake update succeeded! merged via #28183.

github mathlib4 bot (Aug 11 2025 at 01:30):

:check: lake update succeeded! merged via #28210.

github mathlib4 bot (Aug 12 2025 at 13:07):

:check: lake update succeeded! merged via #28288.

github mathlib4 bot (Aug 20 2025 at 22:01):

:check: lake update succeeded! merged via #28711.

github mathlib4 bot (Aug 26 2025 at 21:23):

:check: lake update succeeded! merged via #28997.

github mathlib4 bot (Sep 01 2025 at 04:28):

:check: lake update succeeded! merged via #29195.

github mathlib4 bot (Sep 08 2025 at 08:00):

:check: lake update succeeded! merged via #29417.

github mathlib4 bot (Sep 12 2025 at 08:09):

:check: lake update succeeded! merged via #29580.

github mathlib4 bot (Sep 16 2025 at 12:03):

:check: lake update succeeded! merged via #29710.

github mathlib4 bot (Sep 20 2025 at 23:26):

:check: lake update succeeded! merged via #29844.

github mathlib4 bot (Sep 23 2025 at 10:09):

:check: lake update succeeded! merged via #29905.

github mathlib4 bot (Sep 29 2025 at 13:13):

:check: lake update succeeded! merged via #30067.

github mathlib4 bot (Sep 29 2025 at 13:29):

:check: lake update succeeded! merged via #30067.

github mathlib4 bot (Sep 29 2025 at 19:28):

:check: lake update succeeded! merged via #30075.

github mathlib4 bot (Sep 29 2025 at 20:23):

:check: lake update succeeded! merged via #30075.

github mathlib4 bot (Oct 10 2025 at 15:08):

:check: lake update succeeded! merged via #30401.

github mathlib4 bot (Oct 12 2025 at 02:38):

:check: lake update succeeded! merged via #30449.

github mathlib4 bot (Oct 12 2025 at 08:10):

:check: lake update succeeded! merged via #30453.

github mathlib4 bot (Oct 15 2025 at 01:27):

:check: lake update succeeded! merged via #30565.

github mathlib4 bot (Oct 15 2025 at 13:10):

:check: lake update succeeded! merged via #30578.

github mathlib4 bot (Oct 27 2025 at 10:20):

:check: lake update succeeded! merged via #30964.

github mathlib4 bot (Oct 29 2025 at 18:14):

:check: lake update succeeded! merged via #31065.

github mathlib4 bot (Oct 30 2025 at 12:09):

:check: lake update succeeded! merged via #31088.

github mathlib4 bot (Oct 31 2025 at 00:24):

:check: lake update succeeded! merged via #31109.

github mathlib4 bot (Nov 01 2025 at 16:12):

:check: lake update succeeded! merged via #31153.

github mathlib4 bot (Nov 03 2025 at 15:33):

:check: lake update succeeded! merged via #31225.

github mathlib4 bot (Nov 03 2025 at 19:19):

:check: lake update succeeded! merged via #31230.

github mathlib4 bot (Nov 04 2025 at 06:34):

:check: lake update succeeded! merged via #31234.

github mathlib4 bot (Nov 07 2025 at 13:13):

:check: lake update succeeded! merged via #31355.

github mathlib4 bot (Nov 09 2025 at 03:16):

:check: lake update succeeded! merged via #31404.

github mathlib4 bot (Nov 10 2025 at 20:07):

:check: lake update succeeded! merged via #31482.

github mathlib4 bot (Nov 11 2025 at 00:13):

:check: lake update succeeded! merged via #31491.

github mathlib4 bot (Nov 14 2025 at 17:10):

:check: lake update succeeded! merged via #31627.

github mathlib4 bot (Nov 18 2025 at 14:20):

:check: lake update succeeded! merged via #31770.

github mathlib4 bot (Nov 18 2025 at 23:06):

:check: lake update succeeded! merged via #31787.

github mathlib4 bot (Nov 22 2025 at 00:16):

:check: lake update succeeded! merged via #31918.

github mathlib4 bot (Nov 22 2025 at 14:15):

:check: lake update succeeded! merged via #31945.

github mathlib4 bot (Nov 22 2025 at 17:26):

:check: lake update succeeded! merged via #31955.

github mathlib4 bot (Nov 24 2025 at 02:47):

:check: lake update succeeded! merged via #32031.

github mathlib4 bot (Nov 28 2025 at 11:16):

:check: lake update succeeded! merged via #32203.

github mathlib4 bot (Nov 30 2025 at 03:47):

:check: lake update succeeded! merged via #32263.

github mathlib4 bot (Dec 04 2025 at 07:21):

:check: lake update succeeded! merged via #32417.

github mathlib4 bot (Dec 08 2025 at 15:55):

:check: lake update succeeded! merged via #32512.

github mathlib4 bot (Dec 09 2025 at 13:22):

:check: lake update succeeded! merged via #32647.

github mathlib4 bot (Dec 16 2025 at 10:13):

:check: lake update succeeded! merged via #32878.

Artie Khovanov (Dec 16 2025 at 10:54):

(it has not merged)

github mathlib4 bot (Dec 16 2025 at 16:28):

:check: lake update succeeded! merged via #32969.

github mathlib4 bot (Dec 18 2025 at 01:35):

:check: lake update succeeded! merged via #33019.

Last updated: Dec 20 2025 at 21:32 UTC