Zulip Chat Archive

Stream: nightly-testing

Topic: Cslib status updates

Kim Morrison (Aug 20 2025 at 00:03):

I am installing the infrastructure for nightly-testing on Cslib. A zulip bot will start reporting in this stream.

Chris Henson (Nov 15 2025 at 08:09):

@Kim Morrison I didn't notice until now because I often check the Actions tab manually on GitHub, but this workflow has never run. Is something maybe misconfigured with what triggers it?

Kim Morrison (Nov 19 2025 at 03:12):

@Chris Henson hopefully fixed by cslib#167.

Chris Henson (Nov 19 2025 at 03:35):

Thanks!

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

:cross_mark: The latest CI for Cslib's nightly-testing branch has failed (569b4e8e232df8f5727a97a86c951ef09b193e03).
You can git fetch; git checkout nightly-testing and push a fix.

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

:cross_mark: The latest CI for Cslib's nightly-testing branch has failed (569b4e8e232df8f5727a97a86c951ef09b193e03).
You can git fetch; git checkout nightly-testing and push a fix.

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

:check: The latest CI for Cslib's nightly-testing branch has succeeded! (88a38b0fb53cad10018557e8377d731ecfe6da1f)

github mathlib4 bot (Nov 19 2025 at 12:47):

:cross_mark: The latest CI for Cslib's nightly-testing branch has failed (0e030354f88acdcc6f1c902736d014728c30bc08).
You can git fetch; git checkout nightly-testing and push a fix.

Chris Henson (Nov 19 2025 at 13:10):

github mathlib4 bot said:

:cross_mark: The latest CI for Cslib's nightly-testing branch has failed (0e030354f88acdcc6f1c902736d014728c30bc08).
You can git fetch; git checkout nightly-testing and push a fix.

This should be resolved on the next nightly, it just merged some changes from main that depend on a Mathlib commit from a few hours later.

github mathlib4 bot (Nov 19 2025 at 15:37):

:cross_mark: The latest CI for Cslib's nightly-testing branch has failed (f5d03edd617a0c1901387ca6187c582d83562c69).
You can git fetch; git checkout nightly-testing and push a fix.

github mathlib4 bot (Nov 20 2025 at 13:15):

:cross_mark: The latest CI for Cslib's nightly-testing branch has failed (f5d03edd617a0c1901387ca6187c582d83562c69).
You can git fetch; git checkout nightly-testing and push a fix.

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

:cross_mark: The latest CI for Cslib's nightly-testing branch has failed (f5d03edd617a0c1901387ca6187c582d83562c69).
You can git fetch; git checkout nightly-testing and push a fix.

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

:check: The latest CI for Cslib's nightly-testing branch has succeeded! (8ce06df5a2cefa325c0848d636fde3abfb3eed76)

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

:warning: Warning: The lean-toolchain file in bump branch bump/v4.27.0 does not match the expected pattern 'leanprover/lean4:nightly-YYYY-MM-DD'.

Branch: bump/v4.27.0
File URL: https://github.com/leanprover/cslib/blob/0e030354f88acdcc6f1c902736d014728c30bc08/lean-toolchain
Current content: leanprover/lean4:v4.26.0-rc1

This needs to be fixed for the nightly testing process to work correctly.

Chris Henson (Nov 20 2025 at 15:07):

github mathlib4 bot said:

:warning: Warning: The lean-toolchain file in bump branch bump/v4.27.0 does not match the expected pattern 'leanprover/lean4:nightly-YYYY-MM-DD'.

Branch: bump/v4.27.0
File URL: https://github.com/leanprover/cslib/blob/0e030354f88acdcc6f1c902736d014728c30bc08/lean-toolchain
Current content: leanprover/lean4:v4.26.0-rc1

This needs to be fixed for the nightly testing process to work correctly.

Was this branch created in CI incorrectly, or is this something to be fixed manually?

Kim Morrison (Nov 20 2025 at 20:40):

This needs to be fixed manually, unfortunately.

github mathlib4 bot (Nov 20 2025 at 21:40):

:check: The latest CI for Cslib's nightly-testing branch has succeeded! (8ce06df5a2cefa325c0848d636fde3abfb3eed76)

github mathlib4 bot (Nov 20 2025 at 21:40):

:warning: Warning: The lean-toolchain file in bump branch bump/v4.27.0 does not match the expected pattern 'leanprover/lean4:nightly-YYYY-MM-DD'.

Branch: bump/v4.27.0
File URL: https://github.com/leanprover/cslib/blob/0e030354f88acdcc6f1c902736d014728c30bc08/lean-toolchain
Current content: leanprover/lean4:v4.26.0-rc1

This needs to be fixed for the nightly testing process to work correctly.

Kim Morrison (Nov 20 2025 at 22:15):

I've fixed this.

Chris Henson (Nov 20 2025 at 22:17):

Thank you!

github mathlib4 bot (Nov 21 2025 at 09:42):

:cross_mark: The latest CI for Cslib's nightly-testing branch has failed (e61cecc005fee908acfa8cd10f3a6b6b7fc5d14c).
You can git fetch; git checkout nightly-testing and push a fix.

github mathlib4 bot (Nov 21 2025 at 10:04):

:check: The latest CI for Cslib's nightly-testing branch has succeeded! (8ce06df5a2cefa325c0848d636fde3abfb3eed76)

github mathlib4 bot (Nov 21 2025 at 13:19):

:check: The latest CI for Cslib's nightly-testing branch has succeeded! (81ad2f2dab4b4d54e9791b8eaa195db261cc4276)

github mathlib4 bot (Nov 23 2025 at 13:12):

:cross_mark: The latest CI for Cslib's nightly-testing branch has failed (1640518d700cdadb467399b2b28e05959f8baa49).
You can git fetch; git checkout nightly-testing and push a fix.

github mathlib4 bot (Nov 23 2025 at 19:25):

:check: The latest CI for Cslib's nightly-testing branch has succeeded! (668b7d3a3617a2500130ad21d7f18d0ce948dd61)

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

:check: The latest CI for Cslib's nightly-testing branch has succeeded! (8bf8c914996f503d57fe8fb3498da1af2245643e)

github mathlib4 bot (Nov 25 2025 at 16:10):

:cross_mark: The latest CI for Cslib's nightly-testing branch has failed (b7c4fa06862af1631ac820f756550557fc4809a1).
You can git fetch; git checkout nightly-testing and push a fix.

Chris Henson (Nov 25 2025 at 16:23):

@Markus Himmel This failure in shake seems related to changes made in lean4#11240?

Markus Himmel (Nov 25 2025 at 18:18):

Thank you for the ping. This should now be fixed on Batteries' nightly-testing branch.

github mathlib4 bot (Nov 27 2025 at 21:40):

:cross_mark: The latest CI for Cslib's nightly-testing branch has failed (d7d7fae72abcd7c3bc6650dfe8adea7e45f043c8).
You can git fetch; git checkout nightly-testing and push a fix.

github mathlib4 bot (Nov 28 2025 at 10:08):

:cross_mark: The latest CI for Cslib's nightly-testing branch has failed (d7d7fae72abcd7c3bc6650dfe8adea7e45f043c8).
You can git fetch; git checkout nightly-testing and push a fix.

github mathlib4 bot (Nov 28 2025 at 14:52):

:cross_mark: The latest CI for Cslib's nightly-testing branch has failed (d7d7fae72abcd7c3bc6650dfe8adea7e45f043c8).
You can git fetch; git checkout nightly-testing and push a fix.

github mathlib4 bot (Nov 28 2025 at 15:04):

:check: The latest CI for Cslib's nightly-testing branch has succeeded! (cbca9732bc9f6b3b35045a24e5736924345cbfb5)

github mathlib4 bot (Dec 01 2025 at 13:46):

:cross_mark: The latest CI for Cslib's nightly-testing branch has failed (1000a8136da9ef6009b46cb0dc10252fe0ea44f0).
You can git fetch; git checkout nightly-testing and push a fix.

github mathlib4 bot (Dec 01 2025 at 14:52):

:check: The latest CI for Cslib's nightly-testing branch has succeeded! (2feaf8c02d376ae11c6f3dc0982c7aa9c8f3c64c)

github mathlib4 bot (Dec 04 2025 at 16:11):

:check: The latest CI for Cslib's nightly-testing branch has succeeded! (ee3eb3c777e4f894a81a27ea8e15bea5ab7bee58)

github mathlib4 bot (Dec 05 2025 at 16:09):

:check: The latest CI for Cslib's nightly-testing branch has succeeded! (c8f3a75986ddbb67d7963af5885e24a2d907bf9a)

github mathlib4 bot (Dec 07 2025 at 13:15):

:check: The latest CI for Cslib's nightly-testing branch has succeeded! (bad48f8e89f96a9b8580a2c17f6ac5ead93dbf17)

github mathlib4 bot (Dec 08 2025 at 13:21):

:check: The latest CI for Cslib's nightly-testing branch has succeeded! (162fdf562fd48ca4a9832474af76e2d5549e0dfe)

github mathlib4 bot (Dec 09 2025 at 16:07):

:cross_mark: The latest CI for Cslib's nightly-testing branch has failed (7cc148956f366d1ef096d370aeb4e228a08f0bd3).
You can git fetch; git checkout nightly-testing and push a fix.

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

:cross_mark: The latest CI for Cslib's nightly-testing branch has failed (7cc148956f366d1ef096d370aeb4e228a08f0bd3).
You can git fetch; git checkout nightly-testing and push a fix.

github mathlib4 bot (Dec 10 2025 at 21:41):

:cross_mark: The latest CI for Cslib's nightly-testing branch has failed (55d8cf5b125dc1ec8930a358d684bfb41cf99d8a).
You can git fetch; git checkout nightly-testing and push a fix.

Kim Morrison (Dec 10 2025 at 23:18):

This will be fixed by cslib#209, see #CSLib > Upcoming closure results for regular languages in mathlib @ 💬.

github mathlib4 bot (Dec 11 2025 at 01:09):

:check: The latest CI for Cslib's nightly-testing branch has succeeded! (9cfb7d387c529ce74e748905a8c58e4022ae93b6)

github mathlib4 bot (Dec 14 2025 at 13:17):

:check: The latest CI for Cslib's nightly-testing branch has succeeded! (3d5395665a10bf7b61e53e7fd049f9358ca11e1f)

github mathlib4 bot (Dec 15 2025 at 13:23):

:check: The latest CI for Cslib's nightly-testing branch has succeeded! (b17e81baf980827bc0685936ba1f4200efd18781)

github mathlib4 bot (Dec 15 2025 at 15:42):

:cross_mark: The latest CI for Cslib's nightly-testing branch has failed (2ee7c691667a90531229dd99bc17c22e1264b494).
You can git fetch; git checkout nightly-testing and push a fix.

github mathlib4 bot (Dec 16 2025 at 06:51):

:check: The latest CI for Cslib's nightly-testing branch has succeeded! (b17e81baf980827bc0685936ba1f4200efd18781)

github mathlib4 bot (Dec 16 2025 at 19:11):

:check: The latest CI for Cslib's nightly-testing branch has succeeded! (47e3632d32849e40a412fcc40182fcefe35d356b)

github mathlib4 bot (Dec 17 2025 at 13:21):

:check: The latest CI for Cslib's nightly-testing branch has succeeded! (6296f6cf3ef55d57b7420e7b48d33c3a349d0120)

Last updated: Dec 20 2025 at 21:32 UTC