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

Set the archive-mirrors field in the opam config #306

Open
hannesm opened this issue Nov 5, 2024 · 0 comments
Open

Set the archive-mirrors field in the opam config #306

hannesm opened this issue Nov 5, 2024 · 0 comments
Assignees

Comments

@hannesm
Copy link

hannesm commented Nov 5, 2024

The issue at hand is that these "base images" use the opam-repository from a git remote, and thus don't use the very nice opam.ocaml.org source archive cache.

Now, since opam 2.2 we can set the archive-mirrors variable (globally) for an opam installation by:
opam option --global archive-mirrors="https://opam.ocaml.org/cache"

If somewhere in this pile of code, where opam 2.2 is likely used anyways (isn't it?), we would set the archive-mirrors, magically all the request timeout and quota exceeded / temporary download failures would vanish.

Unfortunately my knowledge of docker and these base images is not mature enough to point at the code to embed such a line. But if all works well, this would massively reduce temporary CI failures. so please consider this.

//cc @shonfeder

@shonfeder shonfeder self-assigned this Nov 10, 2024
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

No branches or pull requests

2 participants