Skip to content

Comments

Update Cygwin mirror URL#1048

Open
anmonteiro wants to merge 1 commit intoocaml:masterfrom
anmonteiro:patch-1
Open

Update Cygwin mirror URL#1048
anmonteiro wants to merge 1 commit intoocaml:masterfrom
anmonteiro:patch-1

Conversation

@anmonteiro
Copy link

old one seems down

@a2line
Copy link

a2line commented Feb 13, 2026

I confirm Windows CI for Geneweb are failing on setup-ocaml@v3 because https://mirrors.kernel.org/ is down since about 36h. Edit: main cygwin mirror is back!

@spotandjake
Copy link

This might make a good case to add a cygwin_source: string parameter to the action that by default takes the main mirror and allows us to override it with something like the sonic mirror.

@smorimoto
Copy link
Member

smorimoto commented Feb 14, 2026

I’ll get this merged right away, but honestly, the source was way more unstable than the mirror ever was.

@Alizter
Copy link

Alizter commented Feb 14, 2026

Why not have a fallback?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants