Zulip Chat Archive
Stream: ecosystem infrastructure
Topics:
- Dependabot support for Lean - call for co-maintainers (5 messages, latest: Dec 17 2025 at 21:55)
- Empty lines linter (5 messages, latest: Dec 13 2025 at 04:20)
- Update dependency in VSCode (6 messages, latest: Nov 26 2025 at 00:28)
- lake exe cache get always decompresses (2 messages, latest: Oct 26 2025 at 23:15)
- Mathlib CI: No space left on device (2 messages, latest: Oct 23 2025 at 18:37)
cache getfails when depending on Mathlib nightly-testing (6 messages, latest: Oct 16 2025 at 03:40)- channel events (4 messages, latest: Oct 15 2025 at 13:19)
- "updates available and ready to merge" (7 messages, latest: Oct 15 2025 at 13:03)
Last updated: Dec 20 2025 at 21:32 UTC