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: May 02 2025 at 03:31 UTC