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: Dec 20 2023 at 11:08 UTC