Zulip Chat Archive

Stream: general

Topic: CI is failing on leanprover-community/lean

Johan Commelin (Jan 23 2023 at 15:43):

https://github.com/leanprover-community/lean

Last updated: Feb 28 2026 at 14:05 UTC