Zulip Chat Archive
Stream: nightly-testing
Topic: nightly#89 adaptations for nightly-2025-10-13
github mathlib4 bot (Oct 13 2025 at 11:28):
chore: adaptations for nightly-2025-10-13 nightly#89 Please review this PR. At the next toolchain release this diff will land in 'master'.
Kevin Buzzard (Oct 13 2025 at 14:20):
Sent to bors in celebration of Kim's return!
Last updated: Dec 20 2025 at 21:32 UTC