Zulip Chat Archive

Stream: general

Topic: appveyor

Scott Morrison (Apr 15 2019 at 04:09):

What is appveyor doing in the build process?

Scott Morrison (Apr 15 2019 at 06:58):

I have a PR on which appveyor is failing, but everything else looks ok: https://github.com/leanprover-community/mathlib/pull/938#partial-pull-merging

Simon Hudon (Apr 15 2019 at 13:48):

Appveyor tests the install scripts on windows

Chris Hughes (Apr 15 2019 at 14:01):

It's broken here as well. https://github.com/leanprover-community/mathlib/pull/937

Simon Hudon (Apr 15 2019 at 14:35):

that seems like an issue with python

Simon Hudon (Apr 15 2019 at 14:36):

Trying to install python dependencies fails to establish a connection. We may have to wait

Last updated: Dec 20 2023 at 11:08 UTC