Zulip Chat Archive

Stream: nightly-testing

Topic: leanchecker

github mathlib4 bot (Jan 13 2026 at 04:33):

:check: leanchecker succeeded on c1d772d6329adbf19893119c31cea6c4127420e7 (branch: nightly-testing-2026-01-12)

github mathlib4 bot (Jan 14 2026 at 06:02):

:check: leanchecker succeeded on 26e1e450e24367d8b4b4662157d75eda0f6336ef (branch: nightly-testing-2026-01-12)

github mathlib4 bot (Jan 15 2026 at 00:53):

:check: leanchecker succeeded on 79a359dfe4682c5ca375c39522d7c64e95659d5a (branch: nightly-testing-2026-01-14)

github mathlib4 bot (Jan 16 2026 at 00:50):

:check: leanchecker succeeded on 986dfcf2d26d0373b1a1a38ee2a8764ca90a0cb4 (branch: nightly-testing-2026-01-14)

github mathlib4 bot (Jan 17 2026 at 01:16):

:check: leanchecker succeeded on 20b873c44e11e4e3c5c39c5d10f2096053ccf8a5 (branch: nightly-testing-2026-01-14)

github mathlib4 bot (Jan 18 2026 at 00:50):

:check: leanchecker succeeded on 5c74f14cc87eb3a97d3e9cd058487f1d9571c3ab (branch: nightly-testing-2026-01-14)

github mathlib4 bot (Jan 19 2026 at 01:00):

:check: leanchecker succeeded on 7048ffa529b90841dce5015ed4cc61e7fd5d7261 (branch: nightly-testing-2026-01-14)

github mathlib4 bot (Jan 20 2026 at 00:48):

:check: leanchecker succeeded on d0871e12f31a4e24ed78a6c09dfb32c4f625d6a9 (branch: nightly-testing-2026-01-14)

github mathlib4 bot (Jan 21 2026 at 00:50):

:check: leanchecker succeeded on 06cfbfe1a8469cbcbc221717bafa6b38132961de (branch: nightly-testing-2026-01-20)

github mathlib4 bot (Jan 22 2026 at 00:54):

:check: leanchecker succeeded on 9ffe92940ecaeb3dcd538bc6e1644e60c32d4561 (branch: nightly-testing-2026-01-21)

github mathlib4 bot (Jan 23 2026 at 00:51):

:check: leanchecker succeeded on 725d7a32b7cbbb51127cacb581d40dacc6be6b52 (branch: nightly-testing-2026-01-22)

github mathlib4 bot (Jan 24 2026 at 00:48):

:check: leanchecker succeeded on 4c87e1d930d0fa219f001b56130c99e32d84fc26 (branch: nightly-testing-2026-01-23)

github mathlib4 bot (Jan 25 2026 at 01:12):

:check: leanchecker succeeded on be04ab25ca4157be69980ea7f908c865738b7388 (branch: nightly-testing-2026-01-24)

github mathlib4 bot (Jan 26 2026 at 00:50):

:check: leanchecker succeeded on 168b9cff12dab685d3df073d0327ad4bb75843d3 (branch: nightly-testing-2026-01-25)

github mathlib4 bot (Jan 27 2026 at 11:08):

:check: leanchecker succeeded on 002831b4f30ea1bb23e788d8517426d32b0538f6 (branch: master)

github mathlib4 bot (Jan 27 2026 at 11:09):

:check: leanchecker succeeded on 002831b4f30ea1bb23e788d8517426d32b0538f6 (branch: nightly-testing-2026-01-27)

github mathlib4 bot (Jan 28 2026 at 00:59):

:check: leanchecker succeeded on ed96f50f75b1f89c4561f2ba2d837eb169052094 (branch: master)

github mathlib4 bot (Jan 28 2026 at 01:00):

:check: leanchecker succeeded on ed96f50f75b1f89c4561f2ba2d837eb169052094 (branch: nightly-testing-2026-01-27)

github mathlib4 bot (Jan 29 2026 at 01:02):

:check: leanchecker succeeded on 426f4b033ae682c66dfc327f6c3717569786ae9e (branch: master)

github mathlib4 bot (Jan 29 2026 at 01:02):

:check: leanchecker succeeded on 426f4b033ae682c66dfc327f6c3717569786ae9e (branch: nightly-testing-2026-01-28)

github mathlib4 bot (Jan 30 2026 at 01:03):

:check: leanchecker succeeded on 62a82d6d0a3d3c54ca96bf00a861c623f3e0be44 (branch: master)

github mathlib4 bot (Jan 30 2026 at 01:03):

:check: leanchecker succeeded on 62a82d6d0a3d3c54ca96bf00a861c623f3e0be44 (branch: nightly-testing-2026-01-28)

github mathlib4 bot (Jan 31 2026 at 01:00):

:check: leanchecker succeeded on 0ecfe98f64977839ba2ae6a5ed4c96e026c6d995 (branch: master)

github mathlib4 bot (Jan 31 2026 at 01:01):

:check: leanchecker succeeded on 0ecfe98f64977839ba2ae6a5ed4c96e026c6d995 (branch: nightly-testing-2026-01-30)

github mathlib4 bot (Feb 01 2026 at 01:06):

:check: leanchecker succeeded on c3cf7cbc7d8787edab1c190e3b1cf48941d4854c (branch: master)

github mathlib4 bot (Feb 01 2026 at 01:07):

:check: leanchecker succeeded on c3cf7cbc7d8787edab1c190e3b1cf48941d4854c (branch: nightly-testing-2026-01-31)

github mathlib4 bot (Feb 02 2026 at 01:03):

:check: leanchecker succeeded on 69decbd50b5e6926d418b3c1f3c58e868c45a382 (branch: master)

github mathlib4 bot (Feb 02 2026 at 01:03):

:check: leanchecker succeeded on 69decbd50b5e6926d418b3c1f3c58e868c45a382 (branch: nightly-testing-2026-02-01)

github mathlib4 bot (Feb 03 2026 at 01:06):

:check: leanchecker succeeded on 6a1be3670f0ce93db58a5e948851abd5d9b751b3 (branch: master)

github mathlib4 bot (Feb 03 2026 at 01:07):

:check: leanchecker succeeded on 6a1be3670f0ce93db58a5e948851abd5d9b751b3 (branch: nightly-testing-2026-02-02)

github mathlib4 bot (Feb 04 2026 at 01:01):

:check: leanchecker succeeded on be8defd50c175d2ce7598a43c1be199f53b7cae6 (branch: master)

github mathlib4 bot (Feb 04 2026 at 01:02):

:check: leanchecker succeeded on be8defd50c175d2ce7598a43c1be199f53b7cae6 (branch: nightly-testing-2026-02-03)

github mathlib4 bot (Feb 05 2026 at 01:03):

:check: leanchecker succeeded on ba07a5d5fb83488d3accc0fe05f0c1fbca22bda4 (branch: master)

github mathlib4 bot (Feb 05 2026 at 01:04):

:check: leanchecker succeeded on ba07a5d5fb83488d3accc0fe05f0c1fbca22bda4 (branch: nightly-testing-2026-02-03)

github mathlib4 bot (Feb 06 2026 at 01:02):

:check: leanchecker succeeded on b94b918e1fd0293f3ef9c2567dfe3774f273dced (branch: master)

github mathlib4 bot (Feb 06 2026 at 01:02):

:check: leanchecker succeeded on b94b918e1fd0293f3ef9c2567dfe3774f273dced (branch: nightly-testing-2026-02-04)

github mathlib4 bot (Feb 07 2026 at 01:02):

:check: leanchecker succeeded on 7091f0f601d5aaea565d2304c1a290cc8af03e18 (branch: master)

github mathlib4 bot (Feb 07 2026 at 01:02):

:check: leanchecker succeeded on 7091f0f601d5aaea565d2304c1a290cc8af03e18 (branch: nightly-testing-2026-02-05)

github mathlib4 bot (Feb 08 2026 at 01:09):

:check: leanchecker succeeded on 668a53718f830a40e2f19d7a81515e8e60b8915f (branch: master)

github mathlib4 bot (Feb 08 2026 at 01:10):

:check: leanchecker succeeded on 668a53718f830a40e2f19d7a81515e8e60b8915f (branch: nightly-testing-2026-02-05)

github mathlib4 bot (Feb 09 2026 at 01:06):

:check: leanchecker succeeded on 26e91fab26eda350d9dc8147cdfa12b3e6e33a64 (branch: master)

github mathlib4 bot (Feb 09 2026 at 01:07):

:check: leanchecker succeeded on 26e91fab26eda350d9dc8147cdfa12b3e6e33a64 (branch: nightly-testing-2026-02-05)

github mathlib4 bot (Feb 10 2026 at 01:07):

:check: leanchecker succeeded on 5086678147029ce3164ce2033fe5d2425e3353fd (branch: master)

github mathlib4 bot (Feb 10 2026 at 01:07):

:check: leanchecker succeeded on 5086678147029ce3164ce2033fe5d2425e3353fd (branch: nightly-testing-2026-02-08)

github mathlib4 bot (Feb 11 2026 at 01:07):

:check: leanchecker succeeded on b8dad038b1b3a05b77d6884b15b8db03ec01dca1 (branch: master)

github mathlib4 bot (Feb 11 2026 at 01:08):

:check: leanchecker succeeded on b8dad038b1b3a05b77d6884b15b8db03ec01dca1 (branch: nightly-testing-2026-02-10)

github mathlib4 bot (Feb 12 2026 at 01:01):

:check: leanchecker succeeded on ea886ccefe95c2432d0a138fcc00a7c09e518b45 (branch: master)

github mathlib4 bot (Feb 12 2026 at 01:02):

:check: leanchecker succeeded on ea886ccefe95c2432d0a138fcc00a7c09e518b45 (branch: nightly-testing-2026-02-10)

github mathlib4 bot (Feb 13 2026 at 01:04):

:check: leanchecker succeeded on c72b0ec47221dd152064b8ad478bf3a18913b1b6 (branch: master)

github mathlib4 bot (Feb 13 2026 at 01:04):

:check: leanchecker succeeded on c72b0ec47221dd152064b8ad478bf3a18913b1b6 (branch: nightly-testing-2026-02-10)

github mathlib4 bot (Feb 14 2026 at 01:04):

:check: leanchecker succeeded on 738faa552745fad46e80382d1249522aa3caf0c8 (branch: master)

github mathlib4 bot (Feb 14 2026 at 01:05):

:check: leanchecker succeeded on 738faa552745fad46e80382d1249522aa3caf0c8 (branch: nightly-testing-2026-02-13)

github mathlib4 bot (Feb 15 2026 at 01:05):

:check: leanchecker succeeded on 88bb6d226a47fbd02dbda6e58822db638b58af5f (branch: master)

github mathlib4 bot (Feb 15 2026 at 01:05):

:check: leanchecker succeeded on 88bb6d226a47fbd02dbda6e58822db638b58af5f (branch: nightly-testing-2026-02-13)

github mathlib4 bot (Feb 16 2026 at 01:03):

:check: leanchecker succeeded on 854dbeb28ad8731d29fd6f93d82a3b960115fa60 (branch: master)

github mathlib4 bot (Feb 16 2026 at 01:04):

:check: leanchecker succeeded on 854dbeb28ad8731d29fd6f93d82a3b960115fa60 (branch: nightly-testing-2026-02-13)

github mathlib4 bot (Feb 17 2026 at 01:04):

:check: leanchecker succeeded on 32fe3f9354729a268ba178d0b5ae06eca180c247 (branch: master)

github mathlib4 bot (Feb 17 2026 at 01:05):

:check: leanchecker succeeded on 32fe3f9354729a268ba178d0b5ae06eca180c247 (branch: nightly-testing-2026-02-16)

github mathlib4 bot (Feb 18 2026 at 00:56):

:check: leanchecker succeeded on 33a7291a345d718bca41f8ae8a9bae365d8f2a3e (branch: master)

github mathlib4 bot (Feb 18 2026 at 00:57):

:check: leanchecker succeeded on 33a7291a345d718bca41f8ae8a9bae365d8f2a3e (branch: nightly-testing-2026-02-17)

github mathlib4 bot (Feb 19 2026 at 00:56):

:check: leanchecker succeeded on 57d8fb21eb19bd4208502c2aeda31fd5395db5d9 (branch: master)

github mathlib4 bot (Feb 19 2026 at 00:57):

:check: leanchecker succeeded on 57d8fb21eb19bd4208502c2aeda31fd5395db5d9 (branch: nightly-testing-2026-02-17)

github mathlib4 bot (Feb 20 2026 at 00:53):

:check: leanchecker succeeded on e318a59779732a8c1a454584e3b34d35d650e4ce (branch: master)

github mathlib4 bot (Feb 20 2026 at 00:54):

:check: leanchecker succeeded on e318a59779732a8c1a454584e3b34d35d650e4ce (branch: nightly-testing-2026-02-19)

github mathlib4 bot (Feb 21 2026 at 00:55):

:check: leanchecker succeeded on eeb0516db2cf15ea142c5701ef13f74c5d5cf1e2 (branch: master)

github mathlib4 bot (Feb 21 2026 at 00:55):

:check: leanchecker succeeded on eeb0516db2cf15ea142c5701ef13f74c5d5cf1e2 (branch: nightly-testing-2026-02-20)

github mathlib4 bot (Feb 22 2026 at 00:55):

:check: leanchecker succeeded on 965b9674bee100a4ec5c6201900cc7825d1f95fd (branch: master)

github mathlib4 bot (Feb 22 2026 at 00:55):

:check: leanchecker succeeded on 965b9674bee100a4ec5c6201900cc7825d1f95fd (branch: nightly-testing-2026-02-21)

github mathlib4 bot (Feb 23 2026 at 00:55):

:check: leanchecker succeeded on 44faade374ca87e7560156d6fdf4c92ed67d56d1 (branch: master)

github mathlib4 bot (Feb 23 2026 at 00:55):

:check: leanchecker succeeded on 44faade374ca87e7560156d6fdf4c92ed67d56d1 (branch: nightly-testing-2026-02-22)

github mathlib4 bot (Feb 24 2026 at 00:55):

:check: leanchecker succeeded on 8b62eaaedc3626613479540a7173a82249a07ed8 (branch: master)

github mathlib4 bot (Feb 24 2026 at 00:56):

:check: leanchecker succeeded on 8b62eaaedc3626613479540a7173a82249a07ed8 (branch: nightly-testing-2026-02-23)

github mathlib4 bot (Feb 25 2026 at 00:57):

:check: leanchecker succeeded on 5dc23921556bfc6478df24faec66c67d76a83879 (branch: master)

github mathlib4 bot (Feb 25 2026 at 00:58):

:check: leanchecker succeeded on 5dc23921556bfc6478df24faec66c67d76a83879 (branch: nightly-testing-2026-02-23)

github mathlib4 bot (Feb 26 2026 at 00:53):

:check: leanchecker succeeded on 78e57d26bd24de3d500bb01f44445fc7c0508fe7 (branch: master)

github mathlib4 bot (Feb 26 2026 at 00:53):

:check: leanchecker succeeded on 78e57d26bd24de3d500bb01f44445fc7c0508fe7 (branch: nightly-testing-2026-02-23)

github mathlib4 bot (Feb 27 2026 at 00:55):

:check: leanchecker succeeded on fe8cb25dafde66a3d8141d0bf75e47b65664dee6 (branch: master)

github mathlib4 bot (Feb 27 2026 at 00:55):

:check: leanchecker succeeded on fe8cb25dafde66a3d8141d0bf75e47b65664dee6 (branch: nightly-testing-2026-02-23)

github mathlib4 bot (Feb 28 2026 at 00:51):

:check: leanchecker succeeded on a8924dc107ccd183daa219a0b1b2e0c4956940b5 (branch: master)

github mathlib4 bot (Feb 28 2026 at 00:52):

:check: leanchecker succeeded on a8924dc107ccd183daa219a0b1b2e0c4956940b5 (branch: nightly-testing-2026-02-25)

Last updated: Feb 28 2026 at 14:05 UTC