Zulip Chat Archive

Stream: nightly-testing

Topic: nightly#60 adaptations for nightly-2025-09-11

github mathlib4 bot (Sep 12 2025 at 03:42):

chore: adaptations for nightly-2025-09-11 nightly#60 Please review this PR. At the next toolchain release this diff will land in 'master'.

Kevin Buzzard (Sep 12 2025 at 22:05):

I would recommend not merging this now and instead merge nightly#61

Kevin Buzzard (Sep 12 2025 at 22:06):

See this comment #nightly-testing > nightly#61 adaptations for nightly-2025-09-12 @ 💬 for how far I got on that.

Last updated: Dec 20 2025 at 21:32 UTC