Zulip Chat Archive
Stream: ecosystem infrastructure
Topics:
- Discussion thread - Side by Side blueprint (12 messages, latest: Feb 11 2026 at 18:09)
- lake exe cache get always decompresses (9 messages, latest: Feb 01 2026 at 13:44)
- LeanProject repo template (1 message, latest: Jan 20 2026 at 14:29)
- Dependabot support for Lean - call for co-maintainers (16 messages, latest: Jan 09 2026 at 11:11)
- Mathlib docs don't update (5 messages, latest: Dec 25 2025 at 22:47)
- 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)
- 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: Feb 28 2026 at 14:05 UTC