Longer timeout for depext (#322)

It seems to require about 70 seconds, let's give it 5 minutes in case it gets even slower in the future.
coq · Oct 14, 2024 · d0300d7 · d0300d7
2 parents a1e0cc7 + 178765f
commit d0300d7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/release.Dockerfile b/release.Dockerfile
@@ -16,7 +16,7 @@ RUN sudo chown -R opam:nogroup .
 RUN opam install . --destdir /src/opam-install
 
 # Store the dynamic dependencies of the server
-RUN opam depext -ln coq-bot > /src/depexts-coq-bot
+RUN OPAMSOLVERTIMEOUT=300 opam depext -ln coq-bot > /src/depexts-coq-bot
 
 
 FROM alpine:3.10 AS app