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