Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[ci] peg MiKTeX mirror #3113

Closed
wants to merge 1 commit into from

Conversation

jameslamb
Copy link
Collaborator

I learned tonight that the download link from the main MiKTeX site redirects to individual mirrors. I'm not sure what strategy it uses, but it seems to change pretty frequently. Here's an example from four requests executed within 15 seconds:

image

I think that pegging to a single mirror will reduce the frequency of errors like this downloading MiKTeX:

image

In theory that redirect mechanism they have is great because it means the download link should work whenever a particular mirror fails, but as we've seen it regularly routes us to a mirror that we can't successfully download from (for whatever reason). Since the r-package jobs already rely on the University of Illinois mirror being up (to install additional LaTeX packages), I'd like to propose that we should just go directly to that mirror for MiKTeX too.

@jameslamb
Copy link
Collaborator Author

ugh wait actually it seems that that mirror only hosts one artifact at a very very specific version number (https://ctan.math.illinois.edu/systems/win32/miktex/setup/windows-x64/)

image

which means this code will break every time a new version is pushed.

Ok I will close this and look for other strategies, sorry!

@github-actions
Copy link

This pull request has been automatically locked since there has not been any recent activity since it was closed. To start a new related discussion, open a new issue at https://github.com/microsoft/LightGBM/issues including a reference to this.

@github-actions github-actions bot locked as resolved and limited conversation to collaborators Aug 24, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant