diff --git a/release.Dockerfile b/release.Dockerfile index 285a51fb..012e0d85 100644 --- a/release.Dockerfile +++ b/release.Dockerfile @@ -8,7 +8,7 @@ RUN echo 'archive-mirrors: [ "https://opam.ocaml.org/cache" ]' >> ~/.opam/config && opam repository set-url default http://opam.ocaml.org \ && opam switch 4.10 \ && echo 'pre-session-commands: [ "sudo" "apk" "add" depexts ]' >> ~/.opam/config \ - && opam install --deps-only . + && OPAMSOLVERTIMEOUT=300 opam install --deps-only . COPY . .