You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
For the CI, it's necessary to avoid network access when possible (especially when we know when things are already installed). homebrew allows users to set a few environment variables to control this; Right now, opam-repository does this (although not always properly but it would be nice if opam-depext would do this instead.
For the CI, it's necessary to avoid network access when possible (especially when we know when things are already installed).
homebrew
allows users to set a few environment variables to control this; Right now,opam-repository
does this (although not always properly but it would be nice ifopam-depext
would do this instead.The variables are to set are:
The text was updated successfully, but these errors were encountered: