Zulip Chat Archive
Stream: nightly-testing
Topic: leanchecker failure
github mathlib4 bot (Jan 27 2026 at 00:22):
:cross_mark: leanchecker http:// on cbf90bf1c877113a9bea3e3bd2fe2c8e0ed1325b (branch: nightly-testing-2026-01-25)
Kim Morrison (Jan 27 2026 at 05:38):
Hopefully #34480 will improve matters.
Bryan Gin-ge Chen (Jan 27 2026 at 10:29):
I've triggered the daily CI again manually to test.
Last updated: Feb 28 2026 at 14:05 UTC