Zulip Chat Archive
Stream: nightly-testing
Topic: Mathlib status update
github mathlib4 bot (Apr 15 2024 at 22:17):
:working_on_it:: it looks like it's time to create a new bump/nightly-2024-04-14 branch from nightly-testing, and then PR that to "bump/v4.8.0".
Last updated: May 02 2025 at 03:31 UTC