From 73f6dcec0c55f4b730daadbf7d927fc664d717c9 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Th=C3=A9o=20Zimmermann?= <theo.zimmermann@telecom-paris.fr>
Date: Wed, 16 Oct 2024 15:06:13 +0200
Subject: [PATCH] Workaround another opam timeout.

---
 release.Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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 . .