mathlib build failures

Stream: general

[Rob Lewis]

You might see some builds fail at the Azure upload stage for the next hour or two. This should be fixed. If you see this failure on a build started after 2022-02-21T15:55:00-05:00 please report it here!

[Floris van Doorn]

Is this error related? https://github.com/leanprover-community/mathlib/runs/5288629408?check_suite_focus=true

[Bryan Gin-ge Chen]

That looks different, to my eye. The failures we were seeing yesterday were more like this.

Hopefully the failure you linked is just a temporary hiccup on GitHub's side.