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)

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

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

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

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

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

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

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

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

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

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

github mathlib4 bot (Dec 25 2025 at 13:20):

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

github mathlib4 bot (Jan 03 2026 at 10:04):

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

Chris Henson (Jan 03 2026 at 12:19):

I'll fix this, it's because environment linters are now expected to be public meta with the module system. Moving us to the module system is on my todo list, but I may just need to disable this one linter in the meantime.

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

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

github mathlib4 bot (Jan 05 2026 at 13:24):

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

github mathlib4 bot (Jan 06 2026 at 13:22):

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

github mathlib4 bot (Jan 07 2026 at 13:23):

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

github mathlib4 bot (Jan 08 2026 at 13:23):

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

github mathlib4 bot (Jan 09 2026 at 13:23):

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

github mathlib4 bot (Jan 10 2026 at 22:10):

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

github mathlib4 bot (Jan 11 2026 at 13:19):

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

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

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

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

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

github mathlib4 bot (Jan 12 2026 at 19:52):

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

github mathlib4 bot (Jan 12 2026 at 20:03):

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

github mathlib4 bot (Jan 14 2026 at 13:24):

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

github mathlib4 bot (Jan 20 2026 at 13:22):

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

github mathlib4 bot (Jan 20 2026 at 14:25):

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

github mathlib4 bot (Jan 21 2026 at 13:25):

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

github mathlib4 bot (Jan 22 2026 at 13:25):

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

github mathlib4 bot (Jan 22 2026 at 15:47):

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

github mathlib4 bot (Jan 23 2026 at 04:02):

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

github mathlib4 bot (Jan 23 2026 at 06:49):

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

github mathlib4 bot (Jan 23 2026 at 08:19):

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

github mathlib4 bot (Jan 23 2026 at 13:23):

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

github mathlib4 bot (Jan 24 2026 at 10:10):

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

github mathlib4 bot (Jan 27 2026 at 13:29):

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

github mathlib4 bot (Jan 28 2026 at 13:22):

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

github mathlib4 bot (Jan 29 2026 at 00:56):

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

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

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

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

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

github mathlib4 bot (Jan 30 2026 at 13:30):

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

github mathlib4 bot (Jan 31 2026 at 22:10):

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

github mathlib4 bot (Feb 02 2026 at 13:29):

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

github mathlib4 bot (Feb 03 2026 at 18:54):

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

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

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

github mathlib4 bot (Feb 06 2026 at 05:50):

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

github mathlib4 bot (Feb 06 2026 at 05:58):

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

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

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

github mathlib4 bot (Feb 10 2026 at 11:55):

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

github mathlib4 bot (Feb 13 2026 at 13:34):

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

github mathlib4 bot (Feb 15 2026 at 22:10):

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

github mathlib4 bot (Feb 16 2026 at 13:35):

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

github mathlib4 bot (Feb 19 2026 at 04:27):

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

Branch: bump/v4.30.0
File URL: https://github.com/leanprover/cslib/blob/24899be067eb4375432007278e7236683d8d7144/lean-toolchain
Current content: leanprover/lean4:v4.29.0-rc1

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

github mathlib4 bot (Feb 19 2026 at 06:55):

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

github mathlib4 bot (Feb 19 2026 at 06:55):

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

Branch: bump/v4.30.0
File URL: https://github.com/leanprover/cslib/blob/24899be067eb4375432007278e7236683d8d7144/lean-toolchain
Current content: leanprover/lean4:v4.29.0-rc1

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

github mathlib4 bot (Feb 19 2026 at 12:07):

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

Kim Morrison :bot: (Feb 19 2026 at 12:37):

lean#12586

github mathlib4 bot (Feb 19 2026 at 16:16):

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

github mathlib4 bot (Feb 19 2026 at 16:29):

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

Chris Henson (Feb 19 2026 at 16:31):

The remaining error here is a ProofWidgets issue that should get resolved upstream

github mathlib4 bot (Feb 20 2026 at 18:47):

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

github mathlib4 bot (Feb 21 2026 at 09:42):

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

Chris Henson (Feb 21 2026 at 10:31):

@Kim Morrison I always get confused by ProofWidgets issues in CI, do I need to do something here?

Bryan Gin-ge Chen (Feb 21 2026 at 13:17):

This looks like the issue that was solved by #35542, so hopefully it will be fixed after bumping to the next nightly?

Chris Henson (Feb 21 2026 at 13:23):

Ah I got confused about what nightly it was on, looks the next bump is running in CI now.

github mathlib4 bot (Feb 21 2026 at 13:28):

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

github mathlib4 bot (Feb 23 2026 at 16:33):

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

github mathlib4 bot (Feb 24 2026 at 10:23):

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

github mathlib4 bot (Feb 27 2026 at 10:15):

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

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

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

Last updated: Feb 28 2026 at 14:05 UTC