Zulip Chat Archive
Stream: nightly-testing
Topic: Toolchain on nightly testing
Joachim Breitner (Jul 21 2024 at 08:57):
(Ignore me, I was looking at nightly not nightly-testing, and found myself in 2023)
Joachim Breitner (Jul 21 2024 at 09:06):
Would anyone mind if I delete the stale nightly branch from last September?
https://github.com/leanprover-community/mathlib4/commits/nightly
Kim Morrison (Jul 24 2024 at 05:33):
I've deleted this now.
Last updated: May 02 2025 at 03:31 UTC