Zulip Chat Archive

Stream: nightly-testing

Topic: nanoda

github mathlib4 bot (Jan 07 2026 at 00:45):

:check: nanoda succeeded on 5e280db0a74e5c3c792f2a3c608b00657d13b6a7 (branch: master)

github mathlib4 bot (Jan 07 2026 at 00:46):

:check: nanoda succeeded on 5e280db0a74e5c3c792f2a3c608b00657d13b6a7 (branch: nightly-testing-2026-01-06)

Kim Morrison (Jan 08 2026 at 03:12):

github mathlib4 bot said:

:check: nanoda succeeded on 5e280db0a74e5c3c792f2a3c608b00657d13b6a7 (branch: master)

This was actually a failure! Subsequent changes to CI have already fixed the reporting.

github mathlib4 bot (Jan 08 2026 at 04:04):

:check: nanoda succeeded on c627e665ea632256d0c5708f43f1541739c169eb (branch: master)

github mathlib4 bot (Jan 09 2026 at 00:46):

:check: nanoda succeeded on ee6d0f13b3a203fa0701998900d057484a769679 (branch: master)

github mathlib4 bot (Jan 10 2026 at 00:45):

:check: nanoda succeeded on b8e3880e7aebc634d9d78b14d1fc00a25b299ea0 (branch: master)

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

:check: nanoda succeeded on c2ac49c165a4c4075c4716ea2deb90b594b6900a (branch: master)

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

:check: nanoda succeeded on 622f41abb60ba23b0c4866b6ebb75a5629932070 (branch: master)

github mathlib4 bot (Jan 13 2026 at 00:42):

:check: nanoda succeeded on c1d772d6329adbf19893119c31cea6c4127420e7 (branch: master)

github mathlib4 bot (Jan 14 2026 at 00:47):

:check: nanoda succeeded on 26e1e450e24367d8b4b4662157d75eda0f6336ef (branch: master)

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

:check: nanoda succeeded on 79a359dfe4682c5ca375c39522d7c64e95659d5a (branch: master)

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

:check: nanoda succeeded on 986dfcf2d26d0373b1a1a38ee2a8764ca90a0cb4 (branch: master)

github mathlib4 bot (Jan 17 2026 at 00:47):

:check: nanoda succeeded on 20b873c44e11e4e3c5c39c5d10f2096053ccf8a5 (branch: master)

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

:check: nanoda succeeded on 5c74f14cc87eb3a97d3e9cd058487f1d9571c3ab (branch: master)

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

:check: nanoda succeeded on 7048ffa529b90841dce5015ed4cc61e7fd5d7261 (branch: master)

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

:check: nanoda succeeded on d0871e12f31a4e24ed78a6c09dfb32c4f625d6a9 (branch: master)

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

:check: nanoda succeeded on 06cfbfe1a8469cbcbc221717bafa6b38132961de (branch: master)

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

:check: nanoda succeeded on 9ffe92940ecaeb3dcd538bc6e1644e60c32d4561 (branch: master)

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

:check: nanoda succeeded on 725d7a32b7cbbb51127cacb581d40dacc6be6b52 (branch: master)

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

:check: nanoda succeeded on 4c87e1d930d0fa219f001b56130c99e32d84fc26 (branch: master)

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

:check: nanoda succeeded on be04ab25ca4157be69980ea7f908c865738b7388 (branch: master)

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

:check: nanoda succeeded on 168b9cff12dab685d3df073d0327ad4bb75843d3 (branch: master)

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

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

Kim Morrison (Feb 14 2026 at 07:01):

:tada:

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Last updated: Feb 28 2026 at 14:05 UTC