mit-plv/fiat-crypto

Windows CI test is broken again

Closed this issue · 2 comments

Windows CI test is broken again

This seems like a transient issue

connection error: 12029 fetching http://mirror.easyname.at/cygwin/x86_64/setup.zst.sig
connection error: 12029 fetching http://mirror.easyname.at/cygwin/x86_64/setup.zst
connection error: 12029 fetching http://mirror.easyname.at/cygwin/x86_64/setup.xz.sig
connection error: 12029 fetching http://mirror.easyname.at/cygwin/x86_64/setup.xz
connection error: 12002 fetching http://mirror.easyname.at/cygwin/x86_64/setup.bz2.sig
connection error: 12002 fetching http://mirror.easyname.at/cygwin/x86_64/setup.bz2
connection error: 12002 fetching http://mirror.easyname.at/cygwin/x86_64/setup.ini.sig
connection error: 12002 fetching http://mirror.easyname.at/cygwin/x86_64/setup.ini
mbox note: Unable to get setup from <http://mirror.easyname.at/cygwin/>
unattended_mode is set at mbox: returning default value
site: http://mirror.easyname.at/cygwin/
connection error: 12029 fetching http://mirror.easyname.at/cygwin/x86_64/setup.zst.sig
connection error: 12002 fetching http://mirror.easyname.at/cygwin/x86_64/setup.zst
connection error: 12029 fetching http://mirror.easyname.at/cygwin/x86_64/setup.xz.sig
connection error: 12029 fetching http://mirror.easyn

when trying to install cygwin

Seems to be working for now, so I'm going to close this issue