Skip to content

Update Cygwin mirror URL#1048

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

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

Conversation

@anmonteiro
Copy link
Copy Markdown

old one seems down

@a2line
Copy link
Copy Markdown

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
Copy Markdown

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
Copy Markdown
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
Copy Markdown

Alizter commented Feb 14, 2026

Why not have a fallback?

@smorimoto smorimoto closed this Mar 20, 2026
@smorimoto
Copy link
Copy Markdown
Member

Thank you for raising this. I'll have a think about adding fallback logic, but given that kernel.org is built on one of the most robust infrastructures available and it's back up now, I'm inclined to keep using it as the primary mirror going forward.

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