Workaround another opam timeout.

coq · Oct 16, 2024 · 73f6dce · 73f6dce
1 parent 161e914
commit 73f6dce
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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 . .