Zulip Chat Archive
Stream: nightly-testing
Topic: stream events
Notification Bot (Mar 13 2024 at 04:21):
Web-public stream created by Scott Morrison. Description:
Keeping projects up to date with nightly Lean releases
Johan Commelin (Mar 13 2024 at 06:50):
@Scott Morrison If there are any PRs that need imminent review, please let me know
Last updated: May 02 2025 at 03:31 UTC