Zulip Chat Archive

Stream: general

Topic: appveyor


view this post on Zulip Scott Morrison (Apr 15 2019 at 04:09):

What is appveyor doing in the build process?

view this post on Zulip 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

view this post on Zulip Simon Hudon (Apr 15 2019 at 13:48):

Appveyor tests the install scripts on windows

view this post on Zulip Chris Hughes (Apr 15 2019 at 14:01):

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

view this post on Zulip Simon Hudon (Apr 15 2019 at 14:35):

that seems like an issue with python

view this post on Zulip 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: May 14 2021 at 00:42 UTC