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: Dec 20 2023 at 11:08 UTC