Zulip Chat Archive
Stream: general
Topic: mathlib checks failing on github
Kevin Buzzard (Apr 26 2021 at 19:39):
As just pointed out by Eric Rodriguez, the last few commits to mathlib master have got red X's, and it's something to do with dockercloud-stage.
Scott Morrison (Apr 27 2021 at 02:53):
Last updated: May 02 2025 at 03:31 UTC