Zulip Chat Archive

Stream: general

Topic: mathlib build failures

Rob Lewis (Feb 21 2022 at 21:26):

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 please report it here!

Floris van Doorn (Feb 22 2022 at 13:25):

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

Bryan Gin-ge Chen (Feb 22 2022 at 13:37):

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.

Last updated: Aug 03 2023 at 10:10 UTC